Created attachment 620543 [details]
A weird line and a few black pixels randomly appear under the progress bar on pinstripe. See attachment. (Please ignore the parrot and the pegleg.)
I think this happens because the progress bar doesn't report its overflow in nsNativeThemeCocoa::GetWidgetOverflow.
Got a link to the relevant source?
Sure, the only occurrence of "nsNativeThemeCocoa::GetWidgetOverflow" in the source: http://mxr.mozilla.org/mozilla-central/source/widget/cocoa/nsNativeThemeCocoa.mm#2387
What should be the value of the overflow here? Currently the code inside nsNativeThemeCocoa::GetWidgetOverflow is about "focus ring" but AFAICT, there is no focus ring for the progress element.
It looks like the white 1px shadow under the progress bar is the only part that overflows, but one should test different sizes and states, maybe there's also overflow to the other sides. But as a first try I'd just extend the the overflow rect's height by 1 pixel (and not add the focus ring margin for progress bars).
Created attachment 621144 [details] [diff] [review]
(In reply to Markus Stange from comment #1)
> I think this happens because the progress bar doesn't report its overflow in
Interesting. The shadow is 2 pixels high.
Comment on attachment 621144 [details] [diff] [review]