Ticket #117: 10939-resize.patch

src/key.c

@@ -36 +36 @@
 #include "tty.h"
 #include "mouse.h"
 #include "key.h"
+#include "layout.h"     /* winch_flag */
 #include "main.h"
 #include "win.h"
 #include "cons.saver.h"
@@ -1050 +1051 @@
                 time_addr = NULL;
         }
 
-        if (!block) {
+        if (!block || winch_flag) {
             time_addr = &timeout;
             timeout.tv_sec = 0;
             timeout.tv_usec = 0;
@@ -1067 +1068 @@
         if (flag == 0) {
             if (redo_event)
                 return EV_MOUSE;
-            if (!block)
+            if (!block || winch_flag)
                 return EV_NONE;
             vfs_timeout_handler ();
         }

src/layout.c

@@ -760 +760 @@
 void
 change_screen_size (void)
 {
+    winch_flag = 0;
 #if defined(HAVE_SLANG) || NCURSES_VERSION_MAJOR >= 4
 #if defined TIOCGWINSZ
 
@@ -792 +793 @@
     touchwin (stdscr);
 #endif                          /* TIOCGWINSZ */
 #endif                          /* defined(HAVE_SLANG) || NCURSES_VERSION_MAJOR >= 4 */
-    winch_flag = 0;
 }
 
 static int ok_to_refresh = 1;