[gnome-tweak-tool] change shell overlay keyboard shortcut

[Alex Rodrigo Muñoz Domínguez <amunoz src gnome org>]

commit 7e7d5f25cea4965dbf7542d6b2706ae9d48d0c18
Author: Alex Muñoz <alexmudoz gmail com>
Date:   Tue Oct 1 00:59:54 2013 -0300

    change shell overlay keyboard shortcut
    
    https://bugzilla.gnome.org/show_bug.cgi?id=709139

 gtweak/tweaks/tweak_group_keymouse.py |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_keymouse.py b/gtweak/tweaks/tweak_group_keymouse.py
index ab4df6d..ed5ab68 100644
--- a/gtweak/tweaks/tweak_group_keymouse.py
+++ b/gtweak/tweaks/tweak_group_keymouse.py
@@ -57,11 +57,16 @@ class KeyThemeSwitcher(GSettingsComboTweak):
 
 TWEAK_GROUPS = [
     ListBoxTweakGroup(_("Keyboard and Mouse"),
-        KeyThemeSwitcher(),
         GSettingsSwitchTweak(_("Show All Input Sources"),
                               "org.gnome.desktop.input-sources",
                               "show-all-sources",
                               logout_required=True,),
+        KeyThemeSwitcher(),
+        GSettingsComboTweak(_("Switch between overview and desktop"),
+                              "org.gnome.mutter",
+                              "overlay-key",
+                              [("Super_L", _("Super left")), ("Super_R", _("Super right"))]),
+              
         Title(_("Mouse"), ""),
         GSettingsSwitchTweak(_("Show location of pointer"),
                              "org.gnome.settings-daemon.peripherals.mouse",