diff options
Diffstat (limited to '')
| -rw-r--r-- | 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/45/vertical-workspaces/lib/overlayKey.js index 77264c1..5ffd973 100644 --- a/extensions/45/vertical-workspaces/lib/overlayKey.js +++ b/extensions/45/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 |