GNOME Bugzilla – Bug 641745
menu separator fuzzy
Last modified: 2012-12-19 15:54:18 UTC
I have noticed the rendering of the menu separator is dependent on the font size. For the default size, the 1px line is drawn precisely inbetween two pixel rows, making it fuzzy. If the font size is a pixel bigger or smaller, it becomes sharp and rendered precisely on 1 pixel row.
Can it be made so that the font size does not have effect on the sharpness?
Things have actually changed since I played with the theme, the sharp state is 2px tall and the fuzzy state is 3px tall. But the core issue remains. Attaching screenshots illustrating the issue.
Created attachment 180317 [details]
separator thickness/sharpness dependent on font size
14px font on the left - sharp separator (although I would have preferred it to be 1px rather than 2px)
13px font size on the right - fuzzy separator drawn on 3 pixel rows
Created attachment 231185 [details] [review]
This fixes the separator appearance but loses necessary padding. padding-top and padding-bottom don't work.
Created attachment 231186 [details]
screenshot of the patch in action
*** Bug 689993 has been marked as a duplicate of this bug. ***
Review of attachment 231185 [details] [review]:
(In reply to comment #6)
> Review of attachment 231185 [details] [review]:
The spacing issue needs be fixed before this can land - there needs to be more vertical padding around the separators. Can you suggest a way of doing that?
Created attachment 231881 [details] [review]
StDrawingArea: fix texture drawing
cogl_rectangle() wants the four rectangle corners, not the size.
Allan, on top of this you can go wild with CSS :)
Review of attachment 231881 [details] [review]:
Created attachment 231906 [details] [review]
Awesome! Thanks Giovanni.