[Webkit-unassigned] [Bug 15236] RenderTheme forces borders for MenulistButtonAppearance

[bugzilla-daemon at webkit.org]

http://bugs.webkit.org/show_bug.cgi?id=15236


mpComplete at gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |WORKSFORME




------- Comment #5 from mpComplete at gmail.com  2007-10-17 16:28 PDT -------
(In reply to comment #4)
> RenderObject::paintBorder does not always try to paint rounded borders:
> 
>     if (style->hasBorderRadius() &&
>         static_cast<unsigned>(w) >= static_cast<unsigned>(topLeft.width()) +
> static_cast<unsigned>(topRight.width()) &&
>         static_cast<unsigned>(w) >= static_cast<unsigned>(bottomLeft.width()) +
> static_cast<unsigned>(bottomRight.width()) &&
>         static_cast<unsigned>(h) >= static_cast<unsigned>(topLeft.height()) +
> static_cast<unsigned>(bottomLeft.height()) &&
>         static_cast<unsigned>(h) >= static_cast<unsigned>(topRight.height()) +
> static_cast<unsigned>(bottomRight.height()))
>         renderRadii = true;
> 

You're right again.  I suppose resetting the border radius would achieve the
effect I want.  Closing as WORKSFORME.


-- 
Configure bugmail: http://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.