From 604597dba144b6870d138cc4ded75be187fd929e Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 22 Apr 2025 09:00:59 +0530 Subject: [PATCH] ... --- kittens/panel/main.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kittens/panel/main.py b/kittens/panel/main.py index 9bf6501bc..6e6fb02e2 100644 --- a/kittens/panel/main.py +++ b/kittens/panel/main.py @@ -320,10 +320,10 @@ def do_visibility_toggle(timer_id: int | None = None) -> None: def schedule_visibility_toggle(debounce_interval: float = 0.2) -> None: global num_of_pending_toggles, last_toggled_at num_of_pending_toggles += 1 - if monotonic() - last_toggled_at > debounce_interval: + if (delta := monotonic() - last_toggled_at) >= debounce_interval: do_visibility_toggle() elif num_of_pending_toggles == 1: - add_timer(do_visibility_toggle, debounce_interval, False) + add_timer(do_visibility_toggle, debounce_interval - delta, False) def handle_single_instance_command(boss: BossType, sys_args: Sequence[str], environ: Mapping[str, str], notify_on_os_window_death: str | None = '') -> None: