295577 - select box leaves dots when closing

Status: RESOLVED WORKSFORME

(Core :: XUL, defect)

Description

[uamjet602]

User-Agent:       Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.8) Gecko/20050511 Firefox/1.0.4
Build Identifier: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.8) Gecko/20050511 Firefox/1.0.4

If you have a drop down select widget that happens to expand over a multiline
text box, when you open and then close the list the lower right corner will
leave a small black dot in the text box until you move the mouse.


Reproducible: Always

Steps to Reproduce:
1. Go to the url and scroll to 'Reproducibility'
2. Open the list by clicking on the down arrow. Note the bottom right corner
while the button is pressed.
3. Close the list by clicking the button again. Note the bottom right corner again.

Actual Results:  
At step two, while the button is in, the corner is not painted.
At step three, the corner is not erased until the mouse is moved.


I'm using the default theme.

Comment 1

[Hermann Schwab]

wfm Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.8b2) Gecko/20050524 Firefox/1.0+
wfm Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.8b2) Gecko/20050524

You are using a 1.7.8 version, that´s 1.7 Branch, not Trunk.

Comment 2

[Wayne Mery (:wsmwk)]

WFM Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9pre) Gecko/2008050906 Minefield/3.0pre