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

Add a note for why debounce is needed

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

2
kittens/panel/main.py
View File

@@ -318,6 +318,8 @@ def do_visibility_toggle(timer_id: int | None = None) -> None:
def schedule_visibility_toggle(debounce_interval: float = 0.2) -> None: def schedule_visibility_toggle(debounce_interval: float = 0.2) -> None:
# Debouncing of toggle requests is needed because of buggy Wayland
# compositors: https://github.com/kovidgoyal/kitty/issues/8557
global num_of_pending_toggles, last_toggled_at global num_of_pending_toggles, last_toggled_at
num_of_pending_toggles += 1 num_of_pending_toggles += 1
if (delta := monotonic() - last_toggled_at) >= debounce_interval: if (delta := monotonic() - last_toggled_at) >= debounce_interval: