diff options
Diffstat (limited to '')
-rw-r--r-- | extensions/45/vertical-workspaces/lib/workspaceSwitcherPopup.js | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/extensions/45/vertical-workspaces/lib/workspaceSwitcherPopup.js b/extensions/45/vertical-workspaces/lib/workspaceSwitcherPopup.js index 358bb1f..cf3d4c1 100644 --- a/extensions/45/vertical-workspaces/lib/workspaceSwitcherPopup.js +++ b/extensions/45/vertical-workspaces/lib/workspaceSwitcherPopup.js @@ -3,7 +3,7 @@ * workspacesSwitcherPopup.js * * @author GdH <G-dH@github.com> - * @copyright 2022 - 2023 + * @copyright 2022 - 2024 * @license GPL-3.0 * */ @@ -73,6 +73,7 @@ const WorkspaceSwitcherPopupCommon = { after__init() { if (opt.ORIENTATION) { // 1-VERTICAL, 0-HORIZONTAL this._list.vertical = true; + this._list.add_style_class_name('ws-switcher-vertical'); } this._list.set_style('margin: 0;'); if (this.get_constraints()[0]) @@ -89,13 +90,11 @@ const WorkspaceSwitcherPopupCommon = { _setPopupPosition() { let workArea; - if (opt.WS_SW_POPUP_MODE === 1) { - // workArea = Main.layoutManager.getWorkAreaForMonitor(Main.layoutManager.primaryIndex);*/ + if (opt.WS_SW_POPUP_MODE === 1) workArea = global.display.get_monitor_geometry(Main.layoutManager.primaryIndex); - } else { - // workArea = Main.layoutManager.getWorkAreaForMonitor(global.display.get_current_monitor()); + else 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); |