Jasper St. Pierre ca861d8ff9 status: Rebrand the user menu as the system menu ... As the user menu no longer really shows anything about the user, and just power menu and settings, it's not really deserving of the "user menu" name, so rename it to the ever-blandly-named "system menu". This is a part of the new system status design, see https://wiki.gnome.org/GnomeShell/Design/Guidelines/SystemStatus/ for design details. https://bugzilla.gnome.org/show_bug.cgi?id=704368		2013-07-19 05:34:44 -04:00
..
extensionPrefs	extensionPrefs: Fix opening extension preferences on startup	2013-02-28 15:37:29 +01:00
gdm	Revert "add annoying delay"	2013-07-18 15:43:51 -04:00
misc	Hash: make .size() constant time	2013-05-12 21:06:34 +02:00
perf	perf: Update to latest overlay changes	2012-08-20 20:40:01 +02:00
ui	status: Rebrand the user menu as the system menu	2013-07-19 05:34:44 -04:00
Makefile.am	status: Rebrand the user menu as the system menu	2013-07-19 05:34:44 -04:00