Files
gnome-shell-extensions/extensions
Giovanni Campagna 6756ad4630 StatusMenu: update to latest GNOME Shell API
The hook to access the status menu was changed in panel.js. Also
replace the alternating menu item with two separate menu items (which
side-steps bug 643631) and use own translations instead of those
provided by gnome-shell (so Hibernate is translated)
2011-04-26 15:35:44 +02:00
..