gnome-shell/js
Giovanni Campagna 6e448a2711 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 21:43:54 +02:00
..
extensionPrefs Remove markup from translated strings 2012-08-06 11:59:14 -04:00
gdm GdmUtil: don't call GetUserVerifier from the user session 2012-08-03 18:06:10 +02:00
misc util: Fix number of parameters passed to spawn_sync 2012-07-24 06:11:21 -03:00
perf js: use System.gc() instead of shell_global_gc() 2012-07-12 20:11:38 -04:00
ui ScreenShield: fix spacing of notifications and sources 2012-08-06 21:43:54 +02:00
Makefile.am js: Remove StatusIconDispatcher 2012-08-03 11:51:53 -03:00