patch 8.0.1005: terminal without job updates slowly in GUI

Problem: Terminal without job updates slowly in GUI. Solution: Poll for input when a channel has the keep_open flag.
2017-08-27 14:50:47 +02:00
parent 8d9f0ef5c6
commit 4ab7968aa9
4 changed files with 98 additions and 100 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -769,6 +769,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1005,
 /**/
    1004,
 /**/