KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

...

Browse Source
This commit is contained in:
Kovid Goyal
2022-04-19 17:38:16 +05:30
parent 90acbd0dd5
commit b2c317ebc6
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
kitty/tabs.py
View File

@@ -1030,15 +1030,18 @@ class TabManager: # {{{
except ValueError: except ValueError:
break break
def idx_for_id(tab_id: int) -> int:
for idx, qtab in enumerate(self.tabs):
if qtab.id == tab_id:
return idx
return -1
if active_tab_needs_to_change: if active_tab_needs_to_change:
next_active_tab = -1 next_active_tab = -1
if get_options().tab_switch_strategy == 'previous': if get_options().tab_switch_strategy == 'previous':
while self.active_tab_history and next_active_tab < 0: while self.active_tab_history and next_active_tab < 0:
tab_id = self.active_tab_history.pop() tab_id = self.active_tab_history.pop()
for idx, qtab in enumerate(self.tabs): next_active_tab = idx_for_id(tab_id)
if qtab.id == tab_id:
next_active_tab = idx
break
elif get_options().tab_switch_strategy == 'left': elif get_options().tab_switch_strategy == 'left':
next_active_tab = max(0, self.active_tab_idx - 1) next_active_tab = max(0, self.active_tab_idx - 1)
elif get_options().tab_switch_strategy == 'right': elif get_options().tab_switch_strategy == 'right':