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 601948 - Menu aspect seems not scaled right
Menu aspect seems not scaled right
Status: RESOLVED DUPLICATE of bug 601854
Product: gnome-shell
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2009-11-15 08:24 UTC by Baptiste Mille-Mathias
Modified: 2009-11-15 10:48 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Baptiste Mille-Mathias 2009-11-15 08:24:04 UTC
since few days the menu icons are a bit fuzzy and the text is cropped (see screenshot attached).

I use git master
Comment 1 Florian Müllner 2009-11-15 10:19:19 UTC
Is this a duplicate of https://bugzilla.gnome.org/show_bug.cgi?id=601854?
Comment 2 Baptiste Mille-Mathias 2009-11-15 10:48:11 UTC
at least the patch seems to fix the scaling problem,

thanks Florian

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