From 6ccfebd9e34f03cbae57605080f09319706d9c25 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 10 Jul 2022 11:27:02 +0530 Subject: [PATCH] ... --- kitty_tests/prewarm.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty_tests/prewarm.py b/kitty_tests/prewarm.py index 98392e830..23781f0e9 100644 --- a/kitty_tests/prewarm.py +++ b/kitty_tests/prewarm.py @@ -34,7 +34,7 @@ def socket_child_main(exit_code=0, initial_print=''): from kitty.utils import read_screen_size def report_screen_size_change(*a): - print("Screen size changed:", read_screen_size(fd=sys.stderr.fileno()).cols, file=sys.stderr) + print("Screen size changed:", read_screen_size(fd=sys.stderr.fileno()).cols, file=sys.stderr, flush=True) signal.signal(signal.SIGWINCH, report_screen_size_change)