gnome-shell/data
Giovanni Campagna 9ea0f7255f PageIndicators: extend the clickable area
Replace the inactive spacing with clickable padding inside the
buttons, for easier selection with a mouse.

https://bugzilla.gnome.org/show_bug.cgi?id=707314
2013-09-02 22:53:04 +02:00
..
theme PageIndicators: extend the clickable area 2013-09-02 22:53:04 +02:00
50-gnome-shell-system.xml.in Add a toggle-overview keybinding 2013-04-18 20:34:41 -04: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 appDisplay: Add page indicators 2013-09-02 19:51:00 +02:00
org.gnome.shell.gschema.xml.in.in schema: Remove some now unused gsettings keys 2013-08-26 13:42:11 -04:00
org.gnome.Shell.Screencast.xml data: Fix typo in Screencast docs 2013-05-10 23:41:36 +02:00
org.gnome.Shell.Screenshot.xml screenshot: document the Screenshot interface 2013-01-03 12:56:46 +01:00
org.gnome.ShellSearchProvider2.xml remoteSearch: support serialized GIcons 2013-04-24 15:54:31 -04:00
org.gnome.ShellSearchProvider.xml ShellSearchProvider: Update documentation about 'name' and 'id' 2013-02-14 16:44:14 -05:00
wanda.png Wanda: so long GNOME 2, and thanks for all the fish. 2013-03-10 15:54:40 +01:00