diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-14 06:15:40 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-14 06:15:40 +0000 |
commit | a7253052777df3bcf4b2abe9367de244cbc35da1 (patch) | |
tree | 1168b662d8028f172d12c2eb4efc62bf8408434b /extensions/46/vertical-workspaces/lib/overlayKey.js | |
parent | Adding upstream version 20231210. (diff) | |
download | gnome-shell-extensions-extra-a7253052777df3bcf4b2abe9367de244cbc35da1.tar.xz gnome-shell-extensions-extra-a7253052777df3bcf4b2abe9367de244cbc35da1.zip |
Adding upstream version 20240414.upstream/20240414upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | extensions/46/vertical-workspaces/lib/overlayKey.js (renamed from extensions/45/vertical-workspaces/lib/overlayKey.js) | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/extensions/45/vertical-workspaces/lib/overlayKey.js b/extensions/46/vertical-workspaces/lib/overlayKey.js index 77264c1..5ffd973 100644 --- a/extensions/45/vertical-workspaces/lib/overlayKey.js +++ b/extensions/46/vertical-workspaces/lib/overlayKey.js @@ -3,7 +3,7 @@ * overlayKey.js * * @author GdH <G-dH@github.com> - * @copyright 2022 - 2023 + * @copyright 2022 - 2024 * @license GPL-3.0 * */ @@ -40,8 +40,10 @@ export const OverlayKeyModule = class { update(reset) { this.moduleEnabled = opt.get('overlayKeyModule'); const conflict = false; + // Avoid modifying the overlay key if its configuration is consistent with the GNOME default + const defaultConfig = opt.OVERVIEW_MODE === 0 && opt.OVERLAY_KEY_PRIMARY === 2 && opt.OVERLAY_KEY_SECONDARY === 1; - reset = reset || !this.moduleEnabled || conflict; + reset = reset || !this.moduleEnabled || conflict || defaultConfig; if (reset && !this._firstActivation) { this._disableModule(); @@ -135,7 +137,7 @@ export const OverlayKeyModule = class { opt.OVERVIEW_MODE2 = false; opt.WORKSPACE_MODE = 1; break; - case 3: // Default overview + case 3: // App grid if (Main.overview._shown) Main.overview.hide(); else |