gnome-shell/js
Rui Matos 3f61f39ae3 dash: Adjust placeholder size to icon size
The placeholder looks odd near small icons and causes the dash to get wider
when visible and narrower when hidden.

https://bugzilla.gnome.org/show_bug.cgi?id=659210
2011-09-20 21:01:25 +01:00
..
gdm gdm: add optional logo to user list 2011-09-19 00:08:55 -04:00
misc extensionSystem: Use the system cert list 2011-09-13 12:34:48 -04:00
perf overview: Make viewSelector private 2011-08-28 12:23:59 -04:00
ui dash: Adjust placeholder size to icon size 2011-09-20 21:01:25 +01:00
Makefile.am gdm: add fingerprint support 2011-09-18 23:32:03 -04:00