From df4c90d94bbc895af83de3ba3f16907ea3140fe3 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sat, 19 Nov 2016 17:07:13 +0530
Subject: [PATCH] Double the screen repaint delay

Greatly improves performance when a lot of output is being generated.
---
 kitty/boss.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kitty/boss.py b/kitty/boss.py
index 5b114d60a..fd3c566d8 100644
--- a/kitty/boss.py
+++ b/kitty/boss.py
@@ -40,7 +40,7 @@ class Boss(Thread):
     shutting_down = False
     pending_title_change = pending_icon_change = None
     pending_color_changes = {}
-    SCREEN_UPDATE_DELAY = 1 / 100  # seconds
+    SCREEN_UPDATE_DELAY = 2 / 100  # seconds
 
     def __init__(self, window, window_width, window_height, opts, args):
         Thread.__init__(self, name='ChildMonitor')