mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-09 13:45:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix mypy error: rename loop variable to avoid conflict with walrus assignment

Browse Source
This commit is contained in:
mcrmck
2026-03-08 21:16:52 -04:00
parent 59c963c481
commit 2622a8c6fb
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
kitty/boss.py
View File

@@ -1987,10 +1987,10 @@ class Boss:
if get_window_being_dragged()[0] == window_id:
# Drop was not handled by on_drop (e.g. dropped outside kitty or on Wayland)
for tm in self.all_tab_managers:
for tab in tm:
if tab.force_show_title_bars:
tab.force_show_title_bars = False
tab.relayout()
for t in tm:
if t.force_show_title_bars:
t.force_show_title_bars = False
t.relayout()
set_window_being_dragged()
for tm in self.all_tab_managers:
tm.on_window_drop_move()