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