Allan Day 0a586c5c92 theme - set default text style ... Setting a default text style helps to keep things consistent and simplifies the theme css. The view tabs and search box text size needs to be slightly bigger, so that needs to be manually specified. https://bugzilla.gnome.org/show_bug.cgi?id=668209		2012-02-28 18:38:08 +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	theme - set default text style	2012-02-28 18:38:08 +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	gnome-shell.desktop: Set autorestart flag	2011-03-21 15:57:49 -04:00
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