summaryrefslogtreecommitdiffstats
path: root/extensions/vertical-workspaces/layout.js
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--extensions/vertical-workspaces/layout.js71
1 files changed, 0 insertions, 71 deletions
diff --git a/extensions/vertical-workspaces/layout.js b/extensions/vertical-workspaces/layout.js
deleted file mode 100644
index 29d97ad..0000000
--- a/extensions/vertical-workspaces/layout.js
+++ /dev/null
@@ -1,71 +0,0 @@
-/**
- * Vertical Workspaces
- * layout.js
- *
- * panel barrier should follow panel position
- * or disable it to not collide with Custom Hot Corners barriers
- *
- * @author GdH <G-dH@github.com>
- * @copyright 2022 - 2023
- * @license GPL-3.0
- *
- */
-
-'use strict';
-
-const { Meta } = imports.gi;
-
-const Main = imports.ui.main;
-const Layout = imports.ui.layout;
-
-const Me = imports.misc.extensionUtils.getCurrentExtension();
-const _Util = Me.imports.util;
-
-let _overrides;
-let opt;
-
-function update(reset = false) {
- if (_overrides) {
- _overrides.removeAll();
- }
-
- if (reset) {
- _overrides = null;
- opt = null;
- return;
- }
-
- opt = Me.imports.settings.opt;
-
- _overrides = new _Util.Overrides();
-
- _overrides.addOverride('LayoutManager', Layout.LayoutManager.prototype, LayoutManager);
-
- Main.layoutManager._updatePanelBarrier();
-}
-
-var LayoutManager = {
- _updatePanelBarrier: function() {
- if (this._rightPanelBarrier) {
- this._rightPanelBarrier.destroy();
- this._rightPanelBarrier = null;
- }
-
- // disable the barrier
- return;
-
- if (!this.primaryMonitor)
- return;
-
- if (this.panelBox.height) {
- let primary = this.primaryMonitor;
-
- this._rightPanelBarrier = new Meta.Barrier({
- display: global.display,
- x1: primary.x + primary.width, y1: opt.PANEL_POSITION_TOP ? primary.y : primary.y + primary.height - this.panelBox.height,
- x2: primary.x + primary.width, y2: opt.PANEL_POSITION_TOP ? primary.y + this.panelBox.height : primary.y + primary.height,
- directions: Meta.BarrierDirection.NEGATIVE_X,
- });
- }
- }
-}