After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 741366 - Checkbox in app menu looks broken
Checkbox in app menu looks broken
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: general
3.14.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
: 746938 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2014-12-10 23:13 UTC by Cosimo Cecchi
Modified: 2015-07-30 15:32 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
screenshot (273.97 KB, image/png)
2014-12-10 23:13 UTC, Cosimo Cecchi
  Details
common: Make menu ornament slightly wider (804 bytes, patch)
2015-07-30 15:24 UTC, Florian Müllner
committed Details | Review
theme: Make menu ornament slightly wider (1.29 KB, patch)
2015-07-30 15:27 UTC, Florian Müllner
committed Details | Review

Description Cosimo Cecchi 2014-12-10 23:13:56 UTC
Created attachment 292490 [details]
screenshot

See attached screenshot. Not sure if this is specific to HiDpi, but it looks pretty bad.
Comment 1 Florian Müllner 2015-03-28 14:29:41 UTC
*** Bug 746938 has been marked as a duplicate of this bug. ***
Comment 2 Florian Müllner 2015-07-30 15:24:36 UTC
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.
Comment 3 Florian Müllner 2015-07-30 15:27:00 UTC
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 4 Florian Müllner 2015-07-30 15:27:40 UTC
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
Comment 5 Florian Müllner 2015-07-30 15:31:58 UTC
Attachment 308470 [details] pushed as efde11a - theme: Make menu ornament slightly wider