mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-22 16:28:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Cleanup.

Browse Source
This commit is contained in:
Nicolas Ochsner
2022-06-14 11:23:35 +02:00
parent 78fd7a8458
commit 36719fb086
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
kitty/session.py
View File

@@ -78,15 +78,13 @@ class Session:
t.windows.append(spec) t.windows.append(spec)
t.next_title = None t.next_title = None
def resize_window(self, cmd: str) -> None: def resize_window(self, args: List[str]) -> None:
args = cmd.split(" ")
steps = 1 steps = 1
if len(args) > 1: if len(args) > 1:
steps = int(args[1]) steps = int(args[1])
t = self.tabs[-1] t = self.tabs[-1]
t.windows.append(SessionResizeWindow(args[0], steps)) t.windows.append(SessionResizeWindow(args[0], steps))
def add_special_window(self, sw: 'SpecialWindowInstance') -> None: def add_special_window(self, sw: 'SpecialWindowInstance') -> None:
self.tabs[-1].windows.append(sw) 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': elif cmd == 'os_window_class':
ans.os_window_class = rest ans.os_window_class = rest
elif cmd == 'resize_window': elif cmd == 'resize_window':
ans.resize_window(rest) ans.resize_window(rest.split())
else: else:
raise ValueError(f'Unknown command in session file: {cmd}') raise ValueError(f'Unknown command in session file: {cmd}')
yield finalize_session(ans) yield finalize_session(ans)