# HG changeset patch
# User Geoff Voelker <voelker@cs.washington.edu>
# Date 909721351 0
# Node ID 1fa5f9f5c92e43d09b57295c77d8d112ea0eee64
# Parent  ae5eea3cc3148f26ec5a5b6cf9496a480a9a6524
(initialize_w32_display): Use buffer coords
instead of buffer size (which may be larger than the window).

diff -r ae5eea3cc314 -r 1fa5f9f5c92e src/w32console.c
--- a/src/w32console.c	Fri Oct 30 03:56:46 1998 +0000
+++ b/src/w32console.c	Fri Oct 30 04:22:31 1998 +0000
@@ -571,13 +571,13 @@
   char_attr = info.wAttributes & 0xFF;
   char_attr_normal = char_attr;
   char_attr_reverse = ((char_attr & 0xf) << 4) + ((char_attr & 0xf0) >> 4);
-  
-  FRAME_HEIGHT (selected_frame) = info.dwSize.Y;	/* lines per page */
-  SET_FRAME_WIDTH (selected_frame, info.dwSize.X); /* characters per line */
-  
-//  move_cursor (0, 0);
-  
-//  clear_frame ();
+
+  /* Lines per page.  Use buffer coords instead of buffer size.  */
+  FRAME_HEIGHT (selected_frame) = 1 + info.srWindow.Bottom - 
+    info.srWindow.Top; 
+  /* Characters per line.  Use buffer coords instead of buffer size.  */
+  SET_FRAME_WIDTH (selected_frame, 1 + info.srWindow.Right - 
+		   info.srWindow.Left);
 }
 
 DEFUN ("set-screen-color", Fset_screen_color, Sset_screen_color, 2, 2, 0,