Package: gnome-shell-extensions Version: 3.2.3-1 Severity: normal Dear Maintainer,
all extensions have this weird namespace gnome-shell-extensions.gcampax.github.com The gnome-tweak-tool instead thinks the namespace should be gnome-shell-extensions.gnome.org Because of this disagreement, the tweak tool thinks user-them is not active and the combo for specifying a user them is never enabled. These are the relevant lines in tweak_shell.py: THEME_EXT_NAME = "user-th...@gnome-shell-extensions.gnome.org" #.... if ShellThemeTweak.THEME_EXT_NAME in extensions and extensions[ShellThemeTweak.THEME_EXT_NAME]["state"] == 1: #.... else: error = _("Shell user-theme extension not enabled") I think there quite some people going crazy about this out there :-) -- System Information: Debian Release: wheezy/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.2.0-1-amd64 (SMP w/4 CPU cores) Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages gnome-shell-extensions depends on: ii dconf-gsettings-backend [gsettings-backend] 0.10.0-3 ii gir1.2-gtop-2.0 2.28.4-2 ii gnome-shell 3.2.2.1-1 gnome-shell-extensions recommends no packages. gnome-shell-extensions suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org