changeset 24937:42f29912dc46

(w32_console_read_socket): Use new variable w32_use_full_screen_buffer.
author Andrew Innes <andrewi@gnu.org>
date Fri, 09 Jul 1999 13:36:55 +0000
parents 10d20f341dee
children a4c871b96d4b
files src/w32inevt.c
diffstat 1 files changed, 7 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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;