summaryrefslogtreecommitdiffstats
path: root/extensions/vertical-workspaces/lib/overview.js
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-08 16:02:51 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-08 16:02:51 +0000
commit38dd2e23d9e4d0c4e4ccae2e1f261dd19861c331 (patch)
treece0a90ded587c944b91104ca6aeaae96cfaa9f7b /extensions/vertical-workspaces/lib/overview.js
parentReleasing version 20230618. (diff)
downloadgnome-shell-extensions-extra-38dd2e23d9e4d0c4e4ccae2e1f261dd19861c331.tar.xz
gnome-shell-extensions-extra-38dd2e23d9e4d0c4e4ccae2e1f261dd19861c331.zip
Moving current extensions to subdirectory for GNOME 44 as GNOME Shell 45 is backwards incompatible (see Debian #1052112).
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'extensions/vertical-workspaces/lib/overview.js')
-rw-r--r--extensions/vertical-workspaces/lib/overview.js59
1 files changed, 0 insertions, 59 deletions
diff --git a/extensions/vertical-workspaces/lib/overview.js b/extensions/vertical-workspaces/lib/overview.js
deleted file mode 100644
index 2f23d05..0000000
--- a/extensions/vertical-workspaces/lib/overview.js
+++ /dev/null
@@ -1,59 +0,0 @@
-/**
- * V-Shell (Vertical Workspaces)
- * overview.js
- *
- * @author GdH <G-dH@github.com>
- * @copyright 2022 - 2023
- * @license GPL-3.0
- *
- */
-
-'use strict';
-
-const Overview = imports.ui.overview;
-
-const Me = imports.misc.extensionUtils.getCurrentExtension();
-const _Util = Me.imports.lib.util;
-
-let _overrides;
-let opt;
-
-function update(reset = false) {
- if (_overrides)
- _overrides.removeAll();
-
-
- if (reset) {
- _overrides = null;
- opt = null;
- return;
- }
-
- opt = Me.imports.lib.settings.opt;
- _overrides = new _Util.Overrides();
-
- _overrides.addOverride('Overview', Overview.Overview.prototype, OverviewCommon);
-}
-
-const OverviewCommon = {
- _showDone() {
- this._animationInProgress = false;
- this._coverPane.hide();
-
- this.emit('shown');
- // Handle any calls to hide* while we were showing
- if (!this._shown)
- this._animateNotVisible();
-
- this._syncGrab();
-
- // if user activates overview during startup animation, transition needs to be shifted to the state 2 here
- const controls = this._overview._controls;
- if (controls._searchController._searchActive && controls._stateAdjustment.value === 1) {
- if (opt.SEARCH_VIEW_ANIMATION)
- controls._onSearchChanged();
- else if (!opt.OVERVIEW_MODE2)
- controls._stateAdjustment.value = 2;
- }
- },
-};