Tarun Kumar Joshi 297877fbe2 theme: Set -arrow-rise property of backgroundMenu to 0 ...

Background menu shown on right clicking desktop background has an arrow
pointer which points to nothing. This patch sets its height (rise) to 0
so that no arrow is formed.

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

2014-01-15 18:28:31 +01:00

..

theme

theme: Set -arrow-rise property of backgroundMenu to 0

2014-01-15 18:28:31 +01: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-wayland.desktop.in.in

Add support for running wayland under gnome-session

2013-09-12 10:34:25 +02: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

Remove wanda

2013-10-29 15:46:49 -04:00

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

Add a debug keybinding to pause/resume all tweens

2014-01-14 17:25:14 -05: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