Adding vertical-workspaces version 23.5 [f987be5].

Signed-off-by: Daniel Baumann <daniel@debian.org>

extensions/vertical-workspaces/overview.js

@@ -0,0 +1,68 @@
+/**
+ * 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;
+            }
+        }
+    }
+}