From 36719fb08638dcafc148693882e116a94da1aaa5 Mon Sep 17 00:00:00 2001 From: Nicolas Ochsner Date: Tue, 14 Jun 2022 11:23:35 +0200 Subject: [PATCH] Cleanup. --- kitty/session.py | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/kitty/session.py b/kitty/session.py index 9afc31eff..87a387822 100644 --- a/kitty/session.py +++ b/kitty/session.py @@ -78,15 +78,13 @@ class Session: t.windows.append(spec) t.next_title = None - def resize_window(self, cmd: str) -> None: - args = cmd.split(" ") + def resize_window(self, args: List[str]) -> None: steps = 1 if len(args) > 1: steps = int(args[1]) t = self.tabs[-1] t.windows.append(SessionResizeWindow(args[0], steps)) - def add_special_window(self, sw: 'SpecialWindowInstance') -> None: self.tabs[-1].windows.append(sw) @@ -147,7 +145,7 @@ def parse_session(raw: str, opts: Options) -> Generator[Session, None, None]: elif cmd == 'os_window_class': ans.os_window_class = rest elif cmd == 'resize_window': - ans.resize_window(rest) + ans.resize_window(rest.split()) else: raise ValueError(f'Unknown command in session file: {cmd}') yield finalize_session(ans)