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

…

gnome-shell.desktop.in.in

…

gnome-shell.schemas

…

Makefile.am

…

org.gnome.shell.gschema.xml.in

…