(w32_console_read_socket): Use new variable w32_use_full_screen_buffer.

1 files changed, 7 insertions, 4 deletions

diff --git a/src/w32inevt.c b/src/w32inevt.c
index 2a2cf63b17e..de15f0970b2 100644
--- a/src/w32inevt.c
+++ b/src/w32inevt.c
@@ -49,6 +49,9 @@ extern void reinvoke_input_signal (void);
 /* from dispnew.c */
 extern int change_frame_size (FRAME_PTR, int, int, int, int);
 
+/* from w32console.c */
+extern int w32_use_full_screen_buffer;
+
 /* from w32fns.c */
 extern Lisp_Object Vw32_alt_is_meta;
 extern unsigned int map_keypad_keys (unsigned int, unsigned int);
@@ -688,11 +691,10 @@ w32_console_read_socket (int sd, struct input_event *bufp, int numchars,
               numchars -= add;
               break;
 
-#if 0
             case WINDOW_BUFFER_SIZE_EVENT:
-              resize_event (&queue_ptr->Event.WindowBufferSizeEvent);
+              if (w32_use_full_screen_buffer)
+                resize_event (&queue_ptr->Event.WindowBufferSizeEvent);
               break;
-#endif
             
             case MENU_EVENT:
             case FOCUS_EVENT:
@@ -711,7 +713,8 @@ w32_console_read_socket (int sd, struct input_event *bufp, int numchars,
   /* We don't get told about changes in the window size (only the buffer
      size, which we no longer care about), so we have to check it
      periodically.  */
-  maybe_generate_resize_event ();
+  if (!w32_use_full_screen_buffer)
+    maybe_generate_resize_event ();
 
   UNBLOCK_INPUT;
   return ret;