diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:38:09 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:38:09 +0000 |
commit | 7f9c96a5a1e619c03bf81c8b3783703b780edaf4 (patch) | |
tree | ba7cd337e9890761eb7b30f97e19a37db15de4c4 /extensions/vertical-workspaces/overview.js | |
parent | Adding upstream version 20230205. (diff) | |
download | gnome-shell-extensions-extra-7f9c96a5a1e619c03bf81c8b3783703b780edaf4.tar.xz gnome-shell-extensions-extra-7f9c96a5a1e619c03bf81c8b3783703b780edaf4.zip |
Adding upstream version 20230618.upstream/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.js | 68 |
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; - } - } - } -} |