Giovanni Campagna 8d7fa54af4 ScreenShield: fix spacing of notifications and sources ... Reduce padding around persistent sources, and ensure that spacing around resident notifications is only applied once. Also, add some padding to the clock. https://bugzilla.gnome.org/show_bug.cgi?id=681143		2012-08-06 23:02:34 +02:00
..
open-search-providers	search: Rename search_providers to open-search-providers	2012-02-21 23:00:53 +01:00
theme	ScreenShield: fix spacing of notifications and sources	2012-08-06 23:02:34 +02:00
gnome-shell-extension-prefs.desktop.in.in	Revert "Fixed typo in string"	2012-02-22 18:50:36 -05:00
gnome-shell-overrides.convert	gsettings: Add migration file for overrides	2012-01-10 19:40:01 +01:00
gnome-shell.desktop.in.in	Don't set the autorestart hint for gnome-session	2012-03-18 02:35:14 +01:00
Makefile.am	build: Add noise-texture.png	2012-08-06 16:13:37 +02:00
org.gnome.shell.gschema.xml.in.in	clock: Switch to using GnomeWallClock, delete clock GSettings controls	2012-06-22 18:10:46 -04:00
org.gnome.ShellSearchProvider.xml	search: Add RemoteSearchProvider	2012-02-21 23:00:53 +01:00