mirror of
https://github.com/kovidgoyal/kitty
synced 2026-06-06 01:05:48 +02:00
Fix focus change on drag with focus_follows_mouse not working
This commit is contained in:
@@ -642,8 +642,12 @@ class Boss:
|
||||
return True
|
||||
|
||||
def set_active_window(
|
||||
self, window: Window, switch_os_window_if_needed: bool = False, for_keep_focus: bool = False, activation_token: str = ''
|
||||
self, window: Window | int, switch_os_window_if_needed: bool = False, for_keep_focus: bool = False, activation_token: str = ''
|
||||
) -> int | None:
|
||||
if isinstance(window, int):
|
||||
window = self.window_id_map.get(window, 0)
|
||||
if isinstance(window, int):
|
||||
return None
|
||||
for os_window_id, tm in self.os_window_map.items():
|
||||
for tab in tm:
|
||||
for w in tab:
|
||||
|
||||
Reference in New Issue
Block a user