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

Update border layout when switching tabs

Browse Source
This commit is contained in:
Kovid Goyal 2016-12-07 10:31:20 +05:30
parent 63359c358c
commit c387a7897a
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/tabs.py
View File

@ -65,6 +65,9 @@ class Tab:
def relayout(self): def relayout(self):
if self.windows: if self.windows:
self.current_layout(self.windows, self.active_window_idx) self.current_layout(self.windows, self.active_window_idx)
self.relayout_borders()
def relayout_borders(self):
self.borders(self.windows, self.active_window, self.current_layout.needs_window_borders and len(self.windows) > 1) self.borders(self.windows, self.active_window, self.current_layout.needs_window_borders and len(self.windows) > 1)
def next_layout(self): def next_layout(self):
@ -198,6 +201,7 @@ class TabManager:
if len(self.tabs) > 1: if len(self.tabs) > 1:
self.active_tab_idx = (self.active_tab_idx + len(self.tabs) + delta) % len(self.tabs) self.active_tab_idx = (self.active_tab_idx + len(self.tabs) + delta) % len(self.tabs)
self.tabbar_dirty = True self.tabbar_dirty = True
self.active_tab.relayout_borders()
glfw_post_empty_event() glfw_post_empty_event()
def __iter__(self): def __iter__(self):