[gnome-tweaks] top_bar: drop obsolete hot-corner comment
- From: Jeremy Bicha <jbicha src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-tweaks] top_bar: drop obsolete hot-corner comment
- Date: Tue, 6 Aug 2019 01:15:16 +0000 (UTC)
commit e19326319b9e90ec9c2cc759e8b6161130148b9b
Author: Jeremy Bicha <jbicha ubuntu com>
Date: Mon Aug 5 21:12:22 2019 -0400
top_bar: drop obsolete hot-corner comment
GNOME 3.34 now "supports" disabling the hot corner!
gtweak/tweaks/tweak_group_top_bar.py | 1 -
1 file changed, 1 deletion(-)
---
diff --git a/gtweak/tweaks/tweak_group_top_bar.py b/gtweak/tweaks/tweak_group_top_bar.py
index 393337a..b370864 100644
--- a/gtweak/tweaks/tweak_group_top_bar.py
+++ b/gtweak/tweaks/tweak_group_top_bar.py
@@ -12,7 +12,6 @@ _shell_loaded = _shell is not None
TWEAK_GROUPS = [
ListBoxTweakGroup(_("Top Bar"),
- # Requires patch from https://bugzilla.gnome.org/688320
GSettingsSwitchTweak(_("Activities Overview Hot Corner"),"org.gnome.shell", "enable-hot-corners",
loaded=_shell_loaded),
GSettingsSwitchTweak(_("Battery Percentage"),"org.gnome.desktop.interface",
"show-battery-percentage", loaded=_shell_loaded),
Title(_("Clock"),"", loaded=_shell_loaded),
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]