mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-26 19:01:27 +00:00
Fix #9571
This commit is contained in:
parent
04c35d85da
commit
08d84aa211
1 changed files with 8 additions and 0 deletions
|
|
@ -815,7 +815,15 @@ class Tab: # {{{
|
|||
overlay_for = window.id
|
||||
|
||||
def set_active_window(self, x: Window | int, for_keep_focus: Window | None = None) -> None:
|
||||
if isinstance(x, int):
|
||||
for q in self:
|
||||
if q.id == x:
|
||||
x = q
|
||||
break
|
||||
else:
|
||||
return
|
||||
self.windows.set_active_window_group_for(x, for_keep_focus=for_keep_focus)
|
||||
self.windows.move_window_to_top_of_group(x)
|
||||
|
||||
def get_nth_window(self, n: int) -> Window | None:
|
||||
if self.windows:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue