Debarshi Ray 3013a87bd2 theme: Tweak the padding of #summary-mode ...

Change the padding values of #summary-mode to be 6px on right and left
to match the values in .summary-source, which determine the padding
between the top and bottom edges of the tray and the items.

https://bugzilla.gnome.org/show_bug.cgi?id=682248

2012-09-02 18:48:00 +02:00

..

theme

theme: Tweak the padding of #summary-mode

2012-09-02 18:48:00 +02:00

gnome-shell-extension-prefs.desktop.in.in

…

gnome-shell-overrides.convert

…

gnome-shell.desktop.in.in

…

Makefile.am

search: Junk the OpenSearch system

2012-08-19 21:19:17 -04:00

org.gnome.shell.gschema.xml.in.in

messageTray: Add a toggle-message-tray keybinding to toggle the tray

2012-08-09 01:36:24 +02:00

org.gnome.ShellSearchProvider.xml

…