Cosimo Cecchi 61de3de909 NetworkMenu: prefer wifi/3g over vpn in the panel ... Wifi and mobile broadband have signal indicators and are thus more useful than vpn icons in the panel. Therefore, in the case we have both wifi/3g and VPN we prefer the former as the "primary icon" and add a lock next to it. Behavior when VPN is added to wired or other connections is still preserved: the wired icon is replaced by vpn. https://bugzilla.gnome.org/show_bug.cgi?id=672591		2012-06-20 17:23:53 -04:00
..
open-search-providers	search: Rename search_providers to open-search-providers	2012-02-21 23:00:53 +01:00
shaders	windowManager: shade the actor, not the texture	2011-09-20 14:56:25 -04:00
theme	NetworkMenu: prefer wifi/3g over vpn in the panel	2012-06-20 17:23:53 -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.desktop.in.in	Don't set the autorestart hint for gnome-session	2012-03-18 02:35:14 +01:00
Makefile.am	data: Actually substitute @GETTEXT_PACKAGE@ in schema files	2012-06-11 13:00:33 -04:00
org.gnome.shell.gschema.xml.in.in	data: Actually substitute @GETTEXT_PACKAGE@ in schema files	2012-06-11 13:00:33 -04:00
org.gnome.ShellSearchProvider.xml	search: Add RemoteSearchProvider	2012-02-21 23:00:53 +01:00