Arch Linux

zeph

Member

From: France

Registered: 2011-10-06

Posts: 1

Website

Gnome Tweak Tool - User theme

Upgrade Gnome-Tweak-Tool
Can't change Theme, because user theme extension is now "user-theme@gnome-shell-extensions.gcampax.github.com"
and not "user-theme@gnome-shell-extensions.gnome.org"

It's fix in the file : gtweak/tweaks/tweak_shell.py whith

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

Thanks