Bug#660428: gnome-tweak-tool: fails to detect enabled user-theme extension, due to changed uuid

[Johannes Rohr]

Package: gnome-tweak-tool
Version: 3.2.2-2
Severity: normal

gnome-tweak-tool offers shell theme installation & switching only if the
user-theme extension is enabled. However, in the latest version of
gnome-shell-extensions, the uuid of the extenion has changed from

user-theme at gnome-shell-extensions.gnome.org 

to

user-theme at gnome-shell-extensions.gcampax.github.com

Therefore, the detection fails, unless in
/usr/share/pyshared/gtweak/tweaks/tweak_shell.py line 46 is changed from

    THEME_EXT_NAME = "user-theme at gnome-shell-extensions.gnome.org"

to 

    THEME_EXT_NAME = "user-theme at gnome-shell-extensions.gcampax.github.com"



-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (250, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.utf8, LC_CTYPE=de_DE.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnome-tweak-tool depends on:
ii  gir1.2-gconf-2.0           3.2.3-1
ii  gir1.2-gtk-3.0             3.2.3-1
ii  gnome-shell-common         3.2.2.1-1
ii  gsettings-desktop-schemas  3.2.0-2
ii  python                     2.7.2-10
ii  python-gi                  3.1.0-2
ii  python2.6                  2.6.7-4
ii  python2.7                  2.7.2-13

gnome-tweak-tool recommends no packages.

gnome-tweak-tool suggests no packages.

-- no debconf information

-- debsums errors found:
debsums: changed file /usr/share/pyshared/gtweak/tweaks/tweak_shell.py (from gnome-tweak-tool package)