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

Remove unused code

Browse Source
This commit is contained in:
Kovid Goyal 2017-11-15 11:28:30 +05:30
parent 889d5b07a6
commit 96f8f8c79d
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 7 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
kitty/boss.py
View File

@ -145,17 +145,10 @@ class Boss:
self.tab_manager.resize() self.tab_manager.resize()
glfw_post_empty_event() glfw_post_empty_event()
def tabbar_visibility_changed(self):
self.tab_manager.resize(only_tabs=True)
glfw_post_empty_event()
@property @property
def active_tab(self): def active_tab(self):
return self.tab_manager.active_tab return self.tab_manager.active_tab
def is_tab_visible(self, tab):
return self.active_tab is tab
@property @property
def active_window(self): def active_window(self):
t = self.active_tab t = self.active_tab

14
kitty/tabs.py
View File

@ -60,10 +60,6 @@ class Tab: # {{{
self.new_window(cmd=cmd) self.new_window(cmd=cmd)
self.set_active_window_idx(session_tab.active_window_idx) self.set_active_window_idx(session_tab.active_window_idx)
@property
def is_visible(self):
return get_boss().is_tab_visible(self)
@property @property
def active_window(self): def active_window(self):
return self.windows[self.active_window_idx] if self.windows else None return self.windows[self.active_window_idx] if self.windows else None
@ -309,12 +305,16 @@ class TabManager: # {{{
self.active_tab_idx = idx self.active_tab_idx = idx
set_active_tab(self.os_window_id, idx) set_active_tab(self.os_window_id, idx)
def tabbar_visibility_changed(self):
self.resize(only_tabs=True)
glfw_post_empty_event()
def init(self, startup_session): def init(self, startup_session):
for t in startup_session.tabs: for t in startup_session.tabs:
self._add_tab(Tab(self.os_window_id, self.opts, self.args, self.title_changed, t)) self._add_tab(Tab(self.os_window_id, self.opts, self.args, self.title_changed, t))
self._set_active_tab(max(0, min(startup_session.active_tab_idx, len(self.tabs) - 1))) self._set_active_tab(max(0, min(startup_session.active_tab_idx, len(self.tabs) - 1)))
if len(self.tabs) > 1: if len(self.tabs) > 1:
get_boss().tabbar_visibility_changed() self.tabbar_visibility_changed()
self.update_tab_bar() self.update_tab_bar()
def update_tab_bar(self): def update_tab_bar(self):
@ -366,7 +366,7 @@ class TabManager: # {{{
self._set_active_tab(idx) self._set_active_tab(idx)
self.update_tab_bar() self.update_tab_bar()
if needs_resize: if needs_resize:
get_boss().tabbar_visibility_changed() self.tabbar_visibility_changed()
def remove(self, tab): def remove(self, tab):
needs_resize = len(self.tabs) == 2 needs_resize = len(self.tabs) == 2
@ -375,7 +375,7 @@ class TabManager: # {{{
self.update_tab_bar() self.update_tab_bar()
tab.destroy() tab.destroy()
if needs_resize: if needs_resize:
get_boss().tabbar_visibility_changed() self.tabbar_visibility_changed()
@property @property
def tab_bar_layout_data(self): def tab_bar_layout_data(self):