From ab06e3f60530c2eeba2f54d8a6aa7c142df34947 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Thu, 27 Feb 2025 14:09:39 -0500 Subject: [PATCH] Don't try to reveal panel with a shortcut timeout of 0 --- ...nome.shell.extensions.dash-to-panel.gschema.xml | 3 +-- src/overview.js | 14 ++++++-------- 2 files changed, 7 insertions(+), 10 deletions(-) diff --git a/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml b/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml index 6eba5d2..cb2bf40 100644 --- a/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml +++ b/schemas/org.gnome.shell.extensions.dash-to-panel.gschema.xml @@ -879,8 +879,7 @@ 2000 - Timeout to hide the dock, in seconds - Sets the time duration before the dock is hidden again. + Timeout to hide the panel after showing the overlay using the shortcut, in seconds 750 diff --git a/src/overview.js b/src/overview.js index f7e04e9..de2abe9 100644 --- a/src/overview.js +++ b/src/overview.js @@ -468,20 +468,18 @@ export const Overview = class { // Restart the counting if the shortcut is pressed again let hotkey_option = SETTINGS.get_string('hotkeys-overlay-combo') + let temporarily = hotkey_option === 'TEMPORARILY' + let timeout = SETTINGS.get_int( + overlayFromShortcut ? 'shortcut-timeout' : 'overlay-timeout', + ) - if (hotkey_option === 'NEVER') return + if (hotkey_option === 'NEVER' || (!timeout && temporarily)) return - if (hotkey_option === 'TEMPORARILY' || overlayFromShortcut) + if (temporarily || overlayFromShortcut) this._toggleHotkeysNumberOverlay(true) this._panel.intellihide.revealAndHold(Intellihide.Hold.TEMPORARY) - let timeout = SETTINGS.get_int('overlay-timeout') - - if (overlayFromShortcut) { - timeout = SETTINGS.get_int('shortcut-timeout') - } - // Hide the overlay/dock after the timeout this._timeoutsHandler.add([ T2,