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
..
search_providers
shaders	windowManager: shade the actor, not the texture	2011-09-20 14:56:25 -04:00
theme	dash: Adjust placeholder size to icon size	2011-09-20 21:01:25 +01:00
gnome-shell.desktop.in.in	gnome-shell.desktop: Set autorestart flag	2011-03-21 15:57:49 -04:00
gnome-shell.schemas
Makefile.am	Add support for gdm greeter session	2011-08-29 14:11:36 -04:00
org.gnome.shell.gschema.xml.in	keyboard: switch to using the correct gsettings key for enable/disable	2011-09-19 07:34:02 -04:00