[gnome-tweak-tool] Change Right/Left super shortcut name (bgo#722057)

[Robert Roth <robertroth src gnome org>]

commit 5371ae78fd3a9d96fb2a4480ccec948cb36bee22
Author: Robert Roth <robert roth off gmail com>
Date:   Fri Jan 2 15:05:12 2015 +0200

    Change Right/Left super shortcut name (bgo#722057)

 gtweak/tweaks/tweak_group_keymouse.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_keymouse.py b/gtweak/tweaks/tweak_group_keymouse.py
index ed5ab68..b56a4f4 100644
--- a/gtweak/tweaks/tweak_group_keymouse.py
+++ b/gtweak/tweaks/tweak_group_keymouse.py
@@ -65,7 +65,7 @@ TWEAK_GROUPS = [
         GSettingsComboTweak(_("Switch between overview and desktop"),
                               "org.gnome.mutter",
                               "overlay-key",
-                              [("Super_L", _("Super left")), ("Super_R", _("Super right"))]),
+                              [("Super_L", _("Left super")), ("Super_R", _("Right super"))]),
               
         Title(_("Mouse"), ""),
         GSettingsSwitchTweak(_("Show location of pointer"),