summaryrefslogtreecommitdiffstats
path: root/extensions/vertical-workspaces/overview.js
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2023-06-18 13:38:38 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2023-06-18 13:38:38 +0000
commita2afeba6545be9307f6505fd7a29375e89a9075e (patch)
treec598c70f26a350073352322c6d2d4da6952945fa /extensions/vertical-workspaces/overview.js
parentReleasing debian version 20230205-2. (diff)
downloadgnome-shell-extensions-extra-a2afeba6545be9307f6505fd7a29375e89a9075e.tar.xz
gnome-shell-extensions-extra-a2afeba6545be9307f6505fd7a29375e89a9075e.zip
Merging upstream version 20230618.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'extensions/vertical-workspaces/overview.js')
-rw-r--r--extensions/vertical-workspaces/overview.js68
1 files changed, 0 insertions, 68 deletions
diff --git a/extensions/vertical-workspaces/overview.js b/extensions/vertical-workspaces/overview.js
deleted file mode 100644
index db267b6..0000000
--- a/extensions/vertical-workspaces/overview.js
+++ /dev/null
@@ -1,68 +0,0 @@
-/**
- * Vertical Workspaces
- * overview.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, Clutter } = imports.gi;
-
-const Main = imports.ui.main;
-const Overview = imports.ui.overview;
-
-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('Overview', Overview.Overview.prototype, OverviewCommon);
-}
-
-
-const OverviewCommon = {
- _showDone: function() {
- 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 {
- controls._stateAdjustment.value = 2;
- }
- }
- }
-}