diff options
| author | Jeremy Bicha <jbicha@ubuntu.com> | 2017-09-06 13:17:59 (GMT) |
|---|---|---|
| committer | Jeremy Bicha <jbicha@ubuntu.com> | 2017-09-06 13:17:59 (GMT) |
| commit | 29073dd8a70e577bfada31861588eb766fd86928 (patch) | |
| tree | b6c82818a4b716d360f0da7837c96cd35e300941 | |
| parent | b7a2e680b8fe011a25670a97f1026a5f6bf98350 (diff) | |
| download | gnome-tweak-tool-29073dd8a70e5.zip gnome-tweak-tool-29073dd8a70e5.tar.xz | |
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.
| -rw-r--r-- | 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), |