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

…

gnome-shell-overrides.convert

…

gnome-shell.desktop.in.in

…

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

…

org.gnome.ShellSearchProvider2.xml

remoteSearch: support serialized GIcons

2013-04-24 15:54:31 -04:00

org.gnome.ShellSearchProvider.xml

…

wanda.png

…