Jakub Steiner a0fd4e195d Use the same selection color as the gtk theme. ...

https://bugzilla.gnome.org/show_bug.cgi?id=646261

2011-05-19 18:52:57 +02:00

..

search_providers

…

shaders

…

theme

Use the same selection color as the gtk theme.

2011-05-19 18:52:57 +02:00

gnome-shell.desktop.in.in

…

gnome-shell.schemas

…

Makefile.am

build: Remove deleted files from Makefile

2011-04-26 22:49:19 +02:00

org.gnome.shell.gschema.xml.in

Use /org/gnome as starting path for schemas

2011-03-25 12:53:03 -04:00