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

…

theme

dash: Adjust placeholder size to icon size

2011-09-20 21:01:25 +01:00

gnome-shell.desktop.in.in

…

gnome-shell.schemas

…

Makefile.am

…

org.gnome.shell.gschema.xml.in

…