Quoting "W. Martin Borgert" <[email protected]>:
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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
