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 740725 - application menu arrow size mismatch
application menu arrow size mismatch
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: extensions
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2014-11-26 02:14 UTC by Matthias Clasen
Modified: 2014-11-26 17:54 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
apps-menu: Update menu arrow to use an icon (1.26 KB, patch)
2014-11-26 17:54 UTC, Florian Müllner
committed Details | Review

Description Matthias Clasen 2014-11-26 02:14:30 UTC
The application menu shows downward pointing arrows next to the menu title. We do the same for the app menu and for the menus in the system status are. Unfortunately, the arrows are not all the same size: the application menu ones are a bit smaller, making things look jumbled
Comment 1 Florian Müllner 2014-11-26 17:54:20 UTC
The following fix has been pushed:
92b7c44 apps-menu: Update menu arrow to use an icon
Comment 2 Florian Müllner 2014-11-26 17:54:33 UTC
Created attachment 291572 [details] [review]
apps-menu: Update menu arrow to use an icon

gnome-shell no longer uses labels with UTF8 arrows, so the currently
used arrow is no longer consistent with other menus; fix that.