gex: trial of using qucik submenu toggles

2026-02-06 00:15:04 +01:00 · 2023-07-02 11:37:36 +12:00
parent 6d3918ccf0
commit 4f3a6ce1c6
9 changed files with 284 additions and 39 deletions
--- a/desktop-extensions/gnome/src/modules/menu_toggles/panel_od.ts
+++ b/desktop-extensions/gnome/src/modules/menu_toggles/panel_od.ts
@@ -0,0 +1,48 @@
+declare const imports: any;
+
+import { Platform } from "../dbus/platform";
+
+const { GObject, Gio } = imports.gi;
+const ExtensionUtils = imports.misc.extensionUtils;
+const PopupMenu = imports.ui.popupMenu;
+
+export const MenuTogglePanelOd = GObject.registerClass(
+    class MenuTogglePanelOd extends PopupMenu.PopupSwitchMenuItem {
+        private _dbus_platform: Platform;
+
+        constructor(dbus_platform: Platform) {
+            super("Panel Overdrive", dbus_platform.bios.panel_overdrive);
+
+            this._dbus_platform = dbus_platform;
+            this.label = "Panel Overdrive";
+            this._settings = ExtensionUtils.getSettings();
+
+            this.connectObject(
+                "destroy", () => this._settings.run_dispose(),
+                "toggled", () => this._toggleMode(),
+                this);
+
+            this.connect("destroy", () => {
+                this.destroy();
+            });
+
+            this._settings.bind("panel-od-enabled",
+                this, "toggled",
+                Gio.SettingsBindFlags.DEFAULT);
+
+            this.sync();
+        }
+
+        _toggleMode() {
+            this._dbus_platform.getPanelOd();
+            const state = this._dbus_platform.bios.panel_overdrive;
+            if (this.state !== state)
+                this._dbus_platform.setPanelOd(this.state);
+        }
+
+        sync() {
+            this._dbus_platform.getPanelOd();
+            const toggled = this._dbus_platform.bios.panel_overdrive;
+            this.setToggleState(toggled);
+        }
+    });