Render bug

[Alexander Voigt]

Dear Dillo developers,

sorry for not creating a proper bug report, but the "How to reproduce"
message field is too small for the example file. :)

The issue
=========

After closing the "Save As" dialog, the background color of the HTML
page is not redrawn correctly (leaving white rectangles instead of the
background color).

How to reproduce
================

1. open the appended html file (note the grey background)
2. click on "file" link
3. move the "Save As" window over the grey background
4. close the "Save As" window --> parts of the background are drawn
white, instead of grey

Best,
Alex

[corvid]

Post by Alexander Voigt
Dear Dillo developers,
sorry for not creating a proper bug report, but the "How to reproduce"
message field is too small for the example file. :)
The issue
=========
After closing the "Save As" dialog, the background color of the HTML
page is not redrawn correctly (leaving white rectangles instead of the
background color).
How to reproduce
================
1. open the appended html file (note the grey background)
2. click on "file" link
3. move the "Save As" window over the grey background
4. close the "Save As" window --> parts of the background are drawn
white, instead of grey

What if we do something like the attached? We might be able to get away
with a smaller fix, but this seemed sensible conceptually.

[Alexander Voigt]

Post by corvid
What if we do something like the attached? We might be able to get away
with a smaller fix, but this seemed sensible conceptually.

Thanks, your patch fixes this issue (and I don't see any side
effects).

Best,
Alex

[Jorge Arellano Cid]

Post by corvid

Post by Alexander Voigt
Dear Dillo developers,
sorry for not creating a proper bug report, but the "How to reproduce"
message field is too small for the example file. :)
The issue
=========
After closing the "Save As" dialog, the background color of the HTML
page is not redrawn correctly (leaving white rectangles instead of the
background color).
How to reproduce
================
1. open the appended html file (note the grey background)
2. click on "file" link
3. move the "Save As" window over the grey background
4. close the "Save As" window --> parts of the background are drawn
white, instead of grey

What if we do something like the attached? We might be able to get away
with a smaller fix, but this seemed sensible conceptually.

+1

It looks OK to me after reviewing/reading it a few times.
Although I haven't made tests on it, I'd say please feel free to
commit when it passes yours.