Rui Matos a277f8e0e1 css: Specify icon-size in px everywhere ...

Since scaled icons generally look bad we shouldn't tie their size to the font
size. In particular a recent change in the panel's font size caused status
icons to be scaled and thus look fuzzy.

2012-03-08 14:21:29 +01:00

..

open-search-providers

search: Rename search_providers to open-search-providers

2012-02-21 23:00:53 +01:00

shaders

windowManager: shade the actor, not the texture

2011-09-20 14:56:25 -04:00

theme

css: Specify icon-size in px everywhere

2012-03-08 14:21:29 +01: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

…

Makefile.am

search: Add RemoteSearchProvider

2012-02-21 23:00:53 +01:00

org.gnome.shell.gschema.xml.in

set a summary on the saved-im-presence and saved-session-presence keys

2012-02-20 08:42:17 +01:00

org.gnome.ShellSearchProvider.xml

search: Add RemoteSearchProvider

2012-02-21 23:00:53 +01:00