Double clicking on empty tab bar area now opens a new tab

Fixes #3201
This commit is contained in:
Kovid Goyal
2021-01-02 11:45:18 +05:30
parent bc86bc91f7
commit 9ae198ef8f
4 changed files with 14 additions and 5 deletions

View File

@@ -753,9 +753,12 @@ class TabManager: # {{{
))
return ans
def activate_tab_at(self, x: int) -> None:
def activate_tab_at(self, x: int, is_double: bool = False) -> None:
i = self.tab_bar.tab_at(x)
if i is not None:
if i is None:
if is_double:
self.new_tab()
else:
self.set_active_tab_idx(i)
@property