Florian Müllner 36c3ce9333 theme: Adjust checkbox style ... Replace the original hacked-up style with some original Steiner artwork. https://bugzilla.gnome.org/show_bug.cgi?id=669811		2012-02-17 18:37:27 +01:00
..
search_providers
shaders	windowManager: shade the actor, not the texture	2011-09-20 14:56:25 -04:00
theme	theme: Adjust checkbox style	2012-02-17 18:37:27 +01:00
gnome-shell-extension-prefs.desktop.in.in	Fixed typo in string	2012-02-09 10:09:33 +01:00
gnome-shell-overrides.convert	gsettings: Add migration file for overrides	2012-01-10 19:40:01 +01:00
gnome-shell.desktop.in.in
Makefile.am	theme: Adjust checkbox style	2012-02-17 18:37:27 +01:00
org.gnome.shell.gschema.xml.in	ShellRecorder: drop frames to approximate the target framerate	2012-01-31 10:47:19 -05:00