[gnome-tweak-tool] top bar: Add "Activities Overview Hot Corner" for Ubuntu

[Jeremy Bicha <jbicha src gnome org>]

commit 29073dd8a70e577bfada31861588eb766fd86928
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Wed Sep 6 09:17:59 2017 -0400

    top bar: Add "Activities Overview Hot Corner" for Ubuntu
    
    The required patch hasn't been committed to gnome-shell yet.
    Add a separate translatable string so that it can be translated.

 gtweak/tweaks/tweak_group_top_bar.py |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_top_bar.py b/gtweak/tweaks/tweak_group_top_bar.py
index d7d565d..2feb31e 100644
--- a/gtweak/tweaks/tweak_group_top_bar.py
+++ b/gtweak/tweaks/tweak_group_top_bar.py
@@ -24,6 +24,8 @@ from gtweak.utils import XSettingsOverrides
 _shell = GnomeShellFactory().get_shell()
 _shell_loaded = _shell is not None
 
+hot_corner_label = _("Activities Overview Hot Corner")
+
 class ApplicationMenuTweak(GetterSetterSwitchTweak):
     def __init__(self, **options):
         self._xsettings = XSettingsOverrides()
@@ -73,6 +75,8 @@ TWEAK_GROUPS = [
     ListBoxTweakGroup(_("Top Bar"),
         ApplicationMenuTweak(),
         GSettingsSwitchTweak(_("Battery Percentage"),"org.gnome.desktop.interface", 
"show-battery-percentage", loaded=_shell_loaded),
+        # Requires patch from https://bugzilla.gnome.org/688320
+        # GSettingsSwitchTweak(_("Activities Overview Hot Corner"),"org.gnome.shell", "enable-hot-corners", 
loaded=_shell_loaded),
         Title(_("Clock"),"", loaded=_shell_loaded),
         GSettingsSwitchTweak(_("Date"),"org.gnome.desktop.interface", "clock-show-date", 
loaded=_shell_loaded),
         GSettingsSwitchTweak(_("Seconds"), "org.gnome.desktop.interface", "clock-show-seconds", 
loaded=_shell_loaded),