Quoting "W. Martin Borgert" <deba...@debian.org>:
Huh? You're right, it is even in wheezy! I have it installed on the machine, but my menu did not change. But I will analyse this problem and file another bug report, if necessary. Closing this.
Just in case somebody else has the same problem: I probably messed with the gconf settings before or after installing gnome-shell-extensions. After removing the configuration, it just works with the package. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org