[gnome-tweak-tool] Fix list extensions on 3.2

[John Stowers <jstowers src gnome org>]

commit fb927454195d2140c5eb28a0211bdf0be0e047c9
Author: John Stowers <john stowers gmail com>
Date:   Mon Aug 29 18:40:36 2011 +1200

    Fix list extensions on 3.2

 gtweak/gshellwrapper.py |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/gtweak/gshellwrapper.py b/gtweak/gshellwrapper.py
index fd8e587..7f6007d 100644
--- a/gtweak/gshellwrapper.py
+++ b/gtweak/gshellwrapper.py
@@ -102,6 +102,9 @@ class GnomeShell32(GnomeShell):
     EXTENSION_ENABLED_KEY = "enabled-extensions"
     EXTENSION_NEED_RESTART = False
 
+    def list_extensions(self):
+        return self._proxy.ListExtensions()
+
     def extension_is_active(self, state, uuid):
         return state == GnomeShell.EXTENSION_STATE["ENABLED"] and \
                 self._settings.setting_is_in_list(self.EXTENSION_ENABLED_KEY, uuid)