[gnome-tweak-tool] Add tweak to show/hide the application menu

[John Stowers <jstowers src gnome org>]

commit fb1f32182cca1cfc951b9f34f62b24779c2bceac
Author: John Stowers <john stowers gmail com>
Date:   Sat Aug 10 21:48:57 2013 +0200

    Add tweak to show/hide the application menu

 gtweak/tweaks/tweak_group_shell.py |   25 +++++++++++++++++++++++++
 gtweak/utils.py                    |    4 ++--
 2 files changed, 27 insertions(+), 2 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_shell.py b/gtweak/tweaks/tweak_group_shell.py
index 92863e2..f9e1272 100644
--- a/gtweak/tweaks/tweak_group_shell.py
+++ b/gtweak/tweaks/tweak_group_shell.py
@@ -21,10 +21,34 @@ from gtweak.gsettings import GSettingsSetting, GSettingsMissingError, GSettingsF
 from gtweak.gshellwrapper import GnomeShellFactory
 from gtweak.tweakmodel import Tweak, TWEAK_GROUP_TOPBAR, TWEAK_GROUP_WORKSPACES, TWEAK_GROUP_POWER
 from gtweak.widgets import ListBoxTweakGroup, GSettingsComboEnumTweak, GSettingsSwitchTweak, 
GSettingsCheckTweak, adjust_schema_for_overrides, build_label_beside_widget, build_horizontal_sizegroup, 
UI_BOX_SPACING, Title
+from gtweak.utils import XSettingsOverrides
 
 _shell = GnomeShellFactory().get_shell()
 _shell_loaded = _shell is not None
 
+class ApplicationMenuTweak(Gtk.Box, Tweak):
+    def __init__(self, **options):
+        Gtk.Box.__init__(self, orientation=Gtk.Orientation.HORIZONTAL)
+
+        name = "Show Application Menu"
+        description = ""
+        Tweak.__init__(self, name, description, **options)
+
+        self._xsettings = XSettingsOverrides()
+
+        sw = Gtk.Switch()
+        sw.set_active(self._xsettings.get_shell_shows_app_menu())
+        sw.connect("notify::active", self._on_toggled)
+
+        build_label_beside_widget(
+                name,
+                sw,
+                hbox=self)
+
+
+    def _on_toggled(self, sw, pspec):
+        self._xsettings.set_shell_shows_app_menu(sw.get_active())
+
 class StaticWorkspaceTweak(Gtk.Box, Tweak):
 
     NUM_WORKSPACES_SCHEMA = "org.gnome.desktop.wm.preferences"
@@ -71,6 +95,7 @@ sg = build_horizontal_sizegroup()
 
 TWEAK_GROUPS = [
     ListBoxTweakGroup(TWEAK_GROUP_TOPBAR,
+        ApplicationMenuTweak(),
         Title("Clock",""),
         GSettingsCheckTweak("Show date","org.gnome.desktop.interface", "clock-show-date", 
schema_filename="org.gnome.desktop.interface.gschema.xml"),
         GSettingsCheckTweak("Show seconds", "org.gnome.desktop.interface", "clock-show-seconds", 
schema_filename="org.gnome.desktop.interface.gschema.xml"),
diff --git a/gtweak/utils.py b/gtweak/utils.py
index 130f9e9..4eb19ea 100644
--- a/gtweak/utils.py
+++ b/gtweak/utils.py
@@ -306,11 +306,11 @@ class XSettingsOverrides:
     def set_shell_shows_app_menu(self, v):
         self._set_override('Gtk/ShellShowsAppMenu', int(v))
     def get_shell_shows_app_menu(self):
-        self._get_override('Gtk/ShellShowsAppMenu', True)
+        return self._get_override('Gtk/ShellShowsAppMenu', True)
     def set_enable_primary_paste(self, v):
         self._set_override('Gtk/EnablePrimaryPaste', int(v))
     def get_enable_primary_paste(self):
-        self._get_override('Gtk/EnablePrimaryPaste', True)
+        return self._get_override('Gtk/EnablePrimaryPaste', True)
 
 class Notification:
     def __init__(self, summary, body):