mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-24 01:08:10 +02:00
Code Issues Packages Projects Releases Wiki Activity

...

Browse Source
This commit is contained in:
Kovid Goyal
2023-10-20 08:43:45 +05:30
parent 4b997a961c
commit f098240ace
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/session.py
View File

@@ -26,7 +26,9 @@ def get_os_window_sizing_data(opts: Options, session: Optional['Session'] = None
sizes = WindowSizes(WindowSize(*opts.initial_window_width), WindowSize(*opts.initial_window_height)) sizes = WindowSizes(WindowSize(*opts.initial_window_width), WindowSize(*opts.initial_window_height))
else: else:
sizes = session.os_window_size sizes = session.os_window_size
return WindowSizeData(sizes, opts.remember_window_size, opts.single_window_margin_width, opts.window_margin_width, opts.single_window_padding_width, opts.window_padding_width) return WindowSizeData(
sizes, opts.remember_window_size, opts.single_window_margin_width, opts.window_margin_width,
opts.single_window_padding_width, opts.window_padding_width)
ResizeSpec = Tuple[str, int] ResizeSpec = Tuple[str, int]