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 692027 - places-menu: Design update
places-menu: Design update
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: extensions
unspecified
Other All
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks: 685744
 
 
Reported: 2013-01-18 18:19 UTC by Florian Müllner
Modified: 2013-01-25 13:38 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
places-menu: Design update (3.68 KB, patch)
2013-01-18 18:19 UTC, Florian Müllner
committed Details | Review

Description Florian Müllner 2013-01-18 18:19:24 UTC
See patch.
Comment 1 Florian Müllner 2013-01-18 18:19:27 UTC
Created attachment 233781 [details] [review]
places-menu: Design update

After review from the design team, the following changes were requested:
 - use a "Places" label instead of a symbolic icon in the top bar
   (as in GNOME 2)
 - move places icons in front of the name (as in Nautilus)
 - use menu separators between sections instead of section titles
Comment 2 Giovanni Campagna 2013-01-18 23:02:05 UTC
Review of attachment 233781 [details] [review]:

Looks good.
Comment 3 Florian Müllner 2013-01-18 23:09:06 UTC
Attachment 233781 [details] pushed as 5d37b39 - places-menu: Design update