[gnome-tweak-tool] workspaces: Correctly hide if GNOME Shell is not running

[Jeremy Bicha <jbicha src gnome org>]

commit 480871c1ecc9510510d112998de3aa26cb8c0b6f
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Wed Sep 20 12:09:02 2017 -0400

    workspaces: Correctly hide if GNOME Shell is not running

 gtweak/tweaks/tweak_group_workspaces.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_workspaces.py b/gtweak/tweaks/tweak_group_workspaces.py
index 177962e..748d3ed 100644
--- a/gtweak/tweaks/tweak_group_workspaces.py
+++ b/gtweak/tweaks/tweak_group_workspaces.py
@@ -187,7 +187,7 @@ depends_how = lambda x,kn: not(x.get_boolean(kn))
 TWEAK_GROUPS = [
     ListBoxTweakGroup(_("Workspaces"),
         sw,
-        GSettingsSpinButtonTweak(_("Number of Workspaces"), "org.gnome.desktop.wm.preferences", 
"num-workspaces", depends_on = sw, depends_how=depends_how, size_group=sg),
+        GSettingsSpinButtonTweak(_("Number of Workspaces"), "org.gnome.desktop.wm.preferences", 
"num-workspaces", depends_on = sw, depends_how=depends_how, size_group=sg, loaded=_shell_loaded),
         Title(_("Display Handling"), "", uid="title-theme", loaded=_shell_loaded),
         PrimaryWorkspaceTweak(),
     )