Debarshi Ray e937fd07e5 theme: Add a new style for .summary-source-button:focus ... We don't need .summary-source-button:selected because we are moving the focus to the summary item when it is clicked and therefore it is always focused. https://bugzilla.gnome.org/show_bug.cgi?id=681519		2012-08-19 21:15:48 -04:00
..
open-search-providers
theme	theme: Add a new style for .summary-source-button:focus	2012-08-19 21:15:48 -04:00
gnome-shell-extension-prefs.desktop.in.in
gnome-shell-overrides.convert
gnome-shell.desktop.in.in
Makefile.am
org.gnome.shell.gschema.xml.in.in
org.gnome.ShellSearchProvider.xml