gnome-shell/js
Jasper St. Pierre a123ec94ef popupMenu: Use a unicode character for the ornament
This makes it easy to replace the dot with another label in the future.
Change the allocation logic, as text layout is more complicated than
simple icon logic.

https://bugzilla.gnome.org/show_bug.cgi?id=698427
2013-04-23 15:50:36 -04:00
..
extensionPrefs extensionPrefs: Fix opening extension preferences on startup 2013-02-28 15:37:29 +01:00
gdm panel: Pass a full pathname to AnimatedIcon 2013-04-16 19:10:40 +02:00
misc loginManager.js: Check for logind, not for systemd 2013-03-29 11:00:52 +01:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui popupMenu: Use a unicode character for the ornament 2013-04-23 15:50:36 -04:00
Makefile.am Revert "Add an OSD for sticky modifiers" 2013-04-15 18:39:52 -04:00