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