From b8866371a38ebc406ed0dd30000a7b05a967d932 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 12 Apr 2022 21:18:18 +0530 Subject: [PATCH] avoid unneccessary session creation during startup --- kitty/boss.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/boss.py b/kitty/boss.py index be0c3a66e..894f9f1e4 100644 --- a/kitty/boss.py +++ b/kitty/boss.py @@ -727,9 +727,9 @@ class Boss: self.child_monitor.start() self.io_thread_started = True urls: List[str] = getattr(sys, 'cmdline_args_for_open', []) - sess = create_sessions(get_options(), self.args, special_window=SpecialWindow([kitty_exe(), '+runpy', 'input()'])) if urls: delattr(sys, 'cmdline_args_for_open') + sess = create_sessions(get_options(), self.args, special_window=SpecialWindow([kitty_exe(), '+runpy', 'input()'])) self.startup_first_child(first_os_window_id, startup_sessions=tuple(sess)) self.launch_urls(*urls) else: