Jakub Steiner 25ee41f344 theme: use a smaller border-radius for top bar ... - plays better with window decorations and maximized windows - https://bugzilla.gnome.org/show_bug.cgi?id=672430		2012-05-07 10:36:28 +02: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: use a smaller border-radius for top bar	2012-05-07 10:36:28 +02: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	Don't set the autorestart hint for gnome-session	2012-03-18 02:35:14 +01:00
Makefile.am	data: Add Evolution calendar settings gschema to EXTRA_DIST	2012-04-26 08:40:01 +02:00
org.gnome.shell.evolution.calendar.gschema.xml.in	Mirror Evolution calendar settings into our own schema	2012-04-25 14:39:02 -04:00
org.gnome.shell.gschema.xml.in	main: Move 'toggle-recording' binding into the shell	2012-04-24 17:37:44 +02:00
org.gnome.ShellSearchProvider.xml	search: Add RemoteSearchProvider	2012-02-21 23:00:53 +01:00