Giovanni Campagna 65723bcac5 PowerMenu: increase padding to the left of the percentage ...

This avoids having the percentage and device label in close succession.

https://bugzilla.gnome.org/show_bug.cgi?id=689297

2013-01-08 23:30:02 +01:00

..

theme

PowerMenu: increase padding to the left of the percentage

2013-01-08 23:30:02 +01:00

50-gnome-shell-screenshot.xml.in

…

50-gnome-shell-system.xml.in

messageTray: Add a notification focus keybinding

2012-11-08 15:46:16 +01:00

gnome-shell-extension-prefs.desktop.in.in

…

gnome-shell-overrides.convert

…

gnome-shell.desktop.in.in

…

Makefile.am

Handle 'switch-input-source' keybinding move

2012-12-18 16:13:13 +00:00

org.gnome.shell.gschema.xml.in.in

Handle 'switch-input-source' keybinding move

2012-12-18 16:13:13 +00:00

org.gnome.Shell.Screenshot.xml

screenshot: document the Screenshot interface

2013-01-03 12:56:46 +01:00

org.gnome.ShellSearchProvider2.xml

search: make sure to pass a timestamp to LaunchSearch()

2012-12-10 16:50:22 -05:00

org.gnome.ShellSearchProvider.xml

remote-search: add an org.gnome.ShellSearchProvider2 dbus interface

2012-12-06 12:13:24 -05:00