Carlos Soriano 0418b68051 popupMenu: Use an image for arrows ... Until now the arrows were the associated arrow character of the font. This cause some problems like different arrows for different fonts, and size can be altered because of the font size. To solve that, use an image for the arrows. https://bugzilla.gnome.org/show_bug.cgi?id=720206		2014-02-19 13:44:27 +01:00
..
theme	popupMenu: Use an image for arrows	2014-02-19 13:44:27 +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	popupMenu: Use an image for arrows	2014-02-19 13:44:27 +01:00
org.gnome.shell.gschema.xml.in.in	location,schema: Keep max accuracy in gsetting	2014-02-17 12:08:39 +00: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