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
org.gnome.shell.gschema.xml.in.in
org.gnome.ShellSearchProvider.xml