Bug#660690: gnome-shell-extensions: user-theme extension is recognized in gnome-tweak tool because of a different namespace
ygmarchi
carlo.marchiori at gmail.com
Mon Feb 20 21:22:20 UTC 2012
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-theme at 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
More information about the pkg-gnome-maintainers
mailing list