summaryrefslogtreecommitdiffstats
path: root/extensions/vertical-workspaces/lib/workspaceSwitcherPopup.js
diff options
context:
space:
mode:
Diffstat (limited to 'extensions/vertical-workspaces/lib/workspaceSwitcherPopup.js')
-rw-r--r--extensions/vertical-workspaces/lib/workspaceSwitcherPopup.js90
1 files changed, 0 insertions, 90 deletions
diff --git a/extensions/vertical-workspaces/lib/workspaceSwitcherPopup.js b/extensions/vertical-workspaces/lib/workspaceSwitcherPopup.js
deleted file mode 100644
index 972f35e..0000000
--- a/extensions/vertical-workspaces/lib/workspaceSwitcherPopup.js
+++ /dev/null
@@ -1,90 +0,0 @@
-/**
- * V-Shell (Vertical Workspaces)
- * workspacesSwitcherPopup.js
- *
- * @author GdH <G-dH@github.com>
- * @copyright 2022 - 2023
- * @license GPL-3.0
- *
- */
-
-'use strict';
-
-const Main = imports.ui.main;
-const WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup;
-
-const ExtensionUtils = imports.misc.extensionUtils;
-const Me = ExtensionUtils.getCurrentExtension();
-
-const _Util = Me.imports.lib.util;
-let _overrides;
-
-let opt;
-let _firstRun = true;
-
-function update(reset = false) {
- opt = Me.imports.lib.settings.opt;
- const moduleEnabled = opt.get('workspaceSwitcherPopupModule', true);
- reset = reset || !moduleEnabled;
-
- // don't even touch this module if disabled
- if (_firstRun && reset)
- return;
-
- _firstRun = false;
-
- if (_overrides)
- _overrides.removeAll();
-
- if (reset) {
- _overrides = null;
- opt = null;
- return;
- }
-
- _overrides = new _Util.Overrides();
-
- const enabled = global.settings.get_strv('enabled-extensions');
- const allowWsPopupInjection = !(enabled.includes('workspace-switcher-manager@G-dH.github.com') || enabled.includes('WsSwitcherPopupManager@G-dH.github.com-dev'));
- if (allowWsPopupInjection) { // 1-VERTICAL, 0-HORIZONTAL
- _overrides.addOverride('WorkspaceSwitcherPopup', WorkspaceSwitcherPopup.WorkspaceSwitcherPopup.prototype, WorkspaceSwitcherPopupOverride);
- }
-}
-
-const WorkspaceSwitcherPopupOverride = {
- // injection to _init()
- after__init() {
- if (opt.ORIENTATION) { // 1-VERTICAL, 0-HORIZONTAL
- this._list.vertical = true;
- }
- this._list.set_style('margin: 0;');
- this.remove_constraint(this.get_constraints()[0]);
- },
-
- // injection to display()
- after_display() {
- if (opt.WS_SW_POPUP_MODE)
- this._setPopupPosition();
- else
- this.opacity = 0;
- },
-
- _setPopupPosition() {
- let workArea;
- if (opt.WS_SW_POPUP_MODE === 1) {
- // workArea = Main.layoutManager.getWorkAreaForMonitor(Main.layoutManager.primaryIndex);*/
- workArea = global.display.get_monitor_geometry(Main.layoutManager.primaryIndex);
- } else {
- // workArea = Main.layoutManager.getWorkAreaForMonitor(global.display.get_current_monitor());
- workArea = global.display.get_monitor_geometry(global.display.get_current_monitor());
- }
-
- let [, natHeight] = this.get_preferred_height(global.screen_width);
- let [, natWidth] = this.get_preferred_width(natHeight);
- let h = opt.WS_SW_POPUP_H_POSITION;
- let v = opt.WS_SW_POPUP_V_POSITION;
- this.x = workArea.x + Math.floor((workArea.width - natWidth) * h);
- this.y = workArea.y + Math.floor((workArea.height - natHeight) * v);
- this.set_position(this.x, this.y);
- },
-};