This bug was fixed in the package gnome-shell-extensions -
3.8.3.1-0ubuntu2
---------------
gnome-shell-extensions (3.8.3.1-0ubuntu2) saucy; urgency=low
* debian/patches/fix-hibernate.patch:
- Backport patch to fix checking whether hibernate is allowed (LP: #1191181)
* debian/patches/look-in-data-home-for-themes.patch:
- Backport commit to also look in XDG_DATA_HOME (usually ~/.local/share/)
for user themes
* debian/patches/fix-applications-menu-resolution-change.patch:
- Backport commit to not break applications menu when screen resolution
changes
* debian/patches/fix-places-without-class.patch:
- Backport patch to handle volumes like MTP that don't have a 'class' ID
-- Jeremy Bicha <[email protected]> Sun, 21 Jul 2013 16:34:14 -0400
** Changed in: gnome-shell-extensions (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1191181
Title:
alternative status menu: hide hibernate option when hibernate is
disabled
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1191181/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
