GNOME Bugzilla – Bug 741366
Checkbox in app menu looks broken
Last modified: 2015-07-30 15:32:02 UTC
Created attachment 292490 [details] screenshot See attached screenshot. Not sure if this is specific to HiDpi, but it looks pretty bad.
*** Bug 746938 has been marked as a duplicate of this bug. ***
Created attachment 308469 [details] [review] common: Make menu ornament slightly wider The existing width works well enough for a narrow character like the dot, but doesn't leave any whitespace for a wider one like the checkmark.
Created attachment 308470 [details] [review] theme: Make menu ornament slightly wider The existing width works well enough for a narrow character like the dot, but doesn't leave any whitespace for a wider one like the checkmark.
Comment on attachment 308469 [details] [review] common: Make menu ornament slightly wider Jakup acked the patch on IRC, so pushing. Attachment 308469 [details] pushed as 23e0bc1 - common: Make menu ornament slightly wider
Attachment 308470 [details] pushed as efde11a - theme: Make menu ornament slightly wider