gnome-shell/data
2012-02-07 18:31:29 -05:00
..
search_providers add ability to search in web from search view 2011-01-18 00:41:59 +03:00
shaders windowManager: shade the actor, not the texture 2011-09-20 14:56:25 -04:00
theme theme: Fix highlight of panel buttons 2012-02-07 18:58:59 +01:00
gnome-shell-extension-prefs.desktop.in.in Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions 2012-02-07 16:00:37 -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 data/Makefile.am: fix typo in EXTRA_DIST 2012-02-07 18:31:29 -05:00
org.gnome.shell.gschema.xml.in ShellRecorder: drop frames to approximate the target framerate 2012-01-31 10:47:19 -05:00