Bug#660690: gnome-shell-extensions: user-theme extension is recognized in gnome-tweak tool because of a different namespace

[ygmarchi]

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