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 689993 - Fuzzy menu separators
Fuzzy menu separators
Status: RESOLVED DUPLICATE of bug 641745
Product: gnome-shell
Classification: Core
Component: general
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
Depends on:
Reported: 2012-12-10 17:24 UTC by Allan Day
Modified: 2012-12-10 18:35 UTC
See Also:
GNOME target: ---
GNOME version: 3.7/3.8

partial patch (1.07 KB, patch)
2012-12-10 17:27 UTC, Allan Day
none Details | Review
Before and after screenshot. (19.78 KB, image/png)
2012-12-10 17:32 UTC, Allan Day

Description Allan Day 2012-12-10 17:24:41 UTC
In the mockups, the menu separators are crisp lines. In contrast, the actual separators are fuzzy. It would look better if the separators were a clear 1px line, with the gradient only applied to the horizontal axis.
Comment 1 Allan Day 2012-12-10 17:27:59 UTC
Created attachment 231175 [details] [review]
partial patch

This patch changes the appearance of the separators. Unfortunately, it means that the separated menu items are too close together. padding-top and padding-bottom do not have the desired effect.
Comment 2 Allan Day 2012-12-10 17:32:02 UTC
Created attachment 231177 [details]
Before and after screenshot.
Comment 3 Stéphane Démurget 2012-12-10 18:23:59 UTC
It seems to be a duplicate of bug 641745. Maybe the oldest one could be closed since you attached a patch here already?
Comment 4 Allan Day 2012-12-10 18:35:35 UTC
I could never close one of Jimmac's bugs!

*** This bug has been marked as a duplicate of bug 641745 ***