From 240c683504b026163add8804484c15f273784b5c Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Wed, 13 Sep 2017 14:27:56 +0530 Subject: [PATCH] DRYer --- kitty/boss.py | 5 ----- kitty/window.py | 5 ++--- 2 files changed, 2 insertions(+), 8 deletions(-) diff --git a/kitty/boss.py b/kitty/boss.py index 872753d0d..a19de6d49 100644 --- a/kitty/boss.py +++ b/kitty/boss.py @@ -101,11 +101,6 @@ class Boss: self.window_id_map[window.id] = window wakeup() - def resize_pty(self, window_id): - w = self.window_id_map.get(window_id) - if w is not None: - self.child_monitor.resize_pty(window_id, *w.current_pty_size) - def on_child_death(self, window_id): w = self.window_id_map.pop(window_id, None) if w is not None: diff --git a/kitty/window.py b/kitty/window.py index 0eb0cf6a2..53fd0b315 100644 --- a/kitty/window.py +++ b/kitty/window.py @@ -57,7 +57,6 @@ class Window: self.child, self.opts = child, opts self.screen = Screen(self, 24, 80, opts.scrollback_lines) self.char_grid = CharGrid(self.screen, opts) - self.current_pty_size = None def __repr__(self): return 'Window(title={}, id={})'.format(self.title, self.id) @@ -80,12 +79,12 @@ class Window: if self.needs_layout or new_geometry.xnum != self.screen.columns or new_geometry.ynum != self.screen.lines: boss = get_boss() self.screen.resize(new_geometry.ynum, new_geometry.xnum) - self.current_pty_size = ( + current_pty_size = ( self.screen.lines, self.screen.columns, max(0, new_geometry.right - new_geometry.left), max(0, new_geometry.bottom - new_geometry.top)) sg = self.char_grid.update_position(new_geometry) self.needs_layout = False - boss.resize_pty(self.id) + boss.child_monitor.resize_pty(self.id, *current_pty_size) else: sg = self.char_grid.update_position(new_geometry) set_window_render_data(self.tab_id, window_idx, self.vao_id, sg.xstart, sg.ystart, sg.dx, sg.dy, self.screen)