|
 |
039401 |
diff -up gnome-tweaks-3.28.1/gtweak/tweaks/tweak_group_top_bar.py.drop-app-menu-option gnome-tweaks-3.28.1/gtweak/tweaks/tweak_group_top_bar.py
|
|
|
039401 |
--- gnome-tweaks-3.28.1/gtweak/tweaks/tweak_group_top_bar.py.drop-app-menu-option 2019-07-04 11:57:08.757232549 +0200
|
|
|
039401 |
+++ gnome-tweaks-3.28.1/gtweak/tweaks/tweak_group_top_bar.py 2019-07-04 11:58:58.306231034 +0200
|
|
|
039401 |
@@ -4,60 +4,13 @@
|
|
|
039401 |
|
|
|
039401 |
import gtweak
|
|
|
039401 |
from gtweak.gshellwrapper import GnomeShellFactory
|
|
|
039401 |
-from gtweak.widgets import ListBoxTweakGroup, GSettingsSwitchTweak, GetterSetterSwitchTweak, Title, _GSettingsTweak
|
|
|
039401 |
-from gtweak.utils import XSettingsOverrides
|
|
|
039401 |
+from gtweak.widgets import ListBoxTweakGroup, GSettingsSwitchTweak, Title
|
|
|
039401 |
|
|
|
039401 |
_shell = GnomeShellFactory().get_shell()
|
|
|
039401 |
_shell_loaded = _shell is not None
|
|
|
039401 |
|
|
|
039401 |
-class ApplicationMenuTweak(GetterSetterSwitchTweak):
|
|
|
039401 |
- def __init__(self, **options):
|
|
|
039401 |
- self._xsettings = XSettingsOverrides()
|
|
|
039401 |
- name = _("Application Menu")
|
|
|
039401 |
- GetterSetterSwitchTweak.__init__(self, name, **options)
|
|
|
039401 |
-
|
|
|
039401 |
- _GSettingsTweak.__init__(self,
|
|
|
039401 |
- name,
|
|
|
039401 |
- "org.gnome.desktop.wm.preferences",
|
|
|
039401 |
- "button-layout",
|
|
|
039401 |
- loaded=_shell_loaded,
|
|
|
039401 |
- **options)
|
|
|
039401 |
-
|
|
|
039401 |
- def get_active(self):
|
|
|
039401 |
- return self._xsettings.get_shell_shows_app_menu()
|
|
|
039401 |
-
|
|
|
039401 |
- def set_active(self, v):
|
|
|
039401 |
- self._xsettings.set_shell_shows_app_menu(v)
|
|
|
039401 |
-
|
|
|
039401 |
- if v:
|
|
|
039401 |
- self.notify_logout()
|
|
|
039401 |
- return
|
|
|
039401 |
- val = self.settings.get_string(self.key_name)
|
|
|
039401 |
- if "appmenu" in val:
|
|
|
039401 |
- self.notify_logout()
|
|
|
039401 |
- return
|
|
|
039401 |
- else:
|
|
|
039401 |
- (left, colon, right) = val.partition(":")
|
|
|
039401 |
-
|
|
|
039401 |
- if "close" in right:
|
|
|
039401 |
- rsplit = right.split(",")
|
|
|
039401 |
- rsplit = [x for x in rsplit if x in ["minimize", "maximize", "close"]]
|
|
|
039401 |
- rsplit.append("appmenu")
|
|
|
039401 |
- rsplit.sort(key=lambda x: ["appmenu", "minimize", "maximize", "close"].index(x))
|
|
|
039401 |
- self.settings.set_string(self.key_name, left + colon + ",".join(rsplit))
|
|
|
039401 |
-
|
|
|
039401 |
- else:
|
|
|
039401 |
- rsplit = left.split(",")
|
|
|
039401 |
- rsplit = [x for x in rsplit if x in ["minimize", "maximize", "close"]]
|
|
|
039401 |
- rsplit.append("appmenu")
|
|
|
039401 |
- rsplit.sort(key=lambda x: ["close", "minimize", "maximize", "appmenu"].index(x))
|
|
|
039401 |
- self.settings.set_string(self.key_name, ",".join(rsplit) + colon + right)
|
|
|
039401 |
- self.notify_logout()
|
|
|
039401 |
-
|
|
|
039401 |
-
|
|
|
039401 |
TWEAK_GROUPS = [
|
|
|
039401 |
ListBoxTweakGroup(_("Top Bar"),
|
|
|
039401 |
- ApplicationMenuTweak(),
|
|
|
039401 |
GSettingsSwitchTweak(_("Battery Percentage"),"org.gnome.desktop.interface", "show-battery-percentage", loaded=_shell_loaded),
|
|
|
039401 |
# Requires patch from https://bugzilla.gnome.org/688320
|
|
|
039401 |
GSettingsSwitchTweak(_("Activities Overview Hot Corner"),"org.gnome.shell", "enable-hot-corners", loaded=_shell_loaded),
|