[gnome-tweak-tool] More debugging user-theme extension

[John Stowers <jstowers src gnome org>]

commit 8b3bbc6a9d504d16cf75e22dd56fc02b317e35c7
Author: John Stowers <john stowers gmail com>
Date:   Thu Nov 24 11:17:07 2011 +1300

    More debugging user-theme extension

 gtweak/tweaks/tweak_shell.py |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_shell.py b/gtweak/tweaks/tweak_shell.py
index 2edc7d6..3ddf76c 100644
--- a/gtweak/tweaks/tweak_shell.py
+++ b/gtweak/tweaks/tweak_shell.py
@@ -73,6 +73,9 @@ class ShellThemeTweak(Tweak):
 
                     error = None
                 except:
+                    logging.warning(
+                        "Could not find user-theme extension in %s" % ','.join(extensions.keys()),
+                        exc_info=True)
                     error = _("Shell user-theme extension incorrectly installed")
 
             else: