[gnome-tweak-tool] Shell restart is not always needed

[John Stowers <jstowers src gnome org>]

commit c622994f620ca7b2197b93488bf352b1ff2b5622
Author: John Stowers <john stowers gmail com>
Date:   Wed Jun 22 09:13:35 2011 +1200

    Shell restart is not always needed

 gtweak/gshellwrapper.py      |    6 +++++-
 gtweak/tweaks/tweak_shell.py |    2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)
---
diff --git a/gtweak/gshellwrapper.py b/gtweak/gshellwrapper.py
index 5946392..ef1700a 100644
--- a/gtweak/gshellwrapper.py
+++ b/gtweak/gshellwrapper.py
@@ -66,9 +66,13 @@ class GnomeShell:
         out = self._proxy.execute_js('const ExtensionSystem = imports.ui.extensionSystem; ExtensionSystem.extensionMeta')
         return json.loads(out)
 
-    def get_version(self):
+    @property
+    def version(self):
         return json.loads(self._proxy.execute_js('const Config = imports.misc.config; Config.PACKAGE_VERSION'))
 
+
+
 if __name__ == "__main__":
     s = GnomeShell()
+    print "Shell Version: %s" % s.version
     print s.list_extensions()
diff --git a/gtweak/tweaks/tweak_shell.py b/gtweak/tweaks/tweak_shell.py
index c8216ff..445739e 100644
--- a/gtweak/tweaks/tweak_shell.py
+++ b/gtweak/tweaks/tweak_shell.py
@@ -191,7 +191,7 @@ class ShellThemeTweak(Tweak):
         if not val:
             if self._usertheme_extension_version < "3.0.2":
                 self.notify_action_required(
-                    "The shell must be restarted to apply the theme",
+                    "The shell may need to be restarted to apply the theme",
                     "Restart",
                     lambda: self._shell.restart())