mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-08 14:18:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

...

Browse Source
This commit is contained in:
Kovid Goyal
2025-04-22 09:00:59 +05:30
parent f319ef6cbb
commit 604597dba1
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kittens/panel/main.py
View File

@@ -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: