# HG changeset patch
# User Andrew Innes <andrewi@gnu.org>
# Date 931527415 0
# Node ID 42f29912dc46efc960adc4349af3c0d6053f84fc
# Parent  10d20f341dee1889253907ece61af56381b1c0e8
(w32_console_read_socket): Use new variable w32_use_full_screen_buffer.

diff -r 10d20f341dee -r 42f29912dc46 src/w32inevt.c
--- a/src/w32inevt.c	Fri Jul 09 02:32:02 1999 +0000
+++ b/src/w32inevt.c	Fri Jul 09 13:36:55 1999 +0000
@@ -49,6 +49,9 @@
 /* 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 @@
 	      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 @@
   /* 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;