*** w32console.c~	Mon Jun 22 11:31:30 1998
--- w32console.c	Thu Oct 29 20:19:34 1998
***************
*** 561,573 ****
    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 ();
  }
  
  DEFUN ("set-screen-color", Fset_screen_color, Sset_screen_color, 2, 2, 0,
--- 571,583 ----
    char_attr = info.wAttributes & 0xFF;
    char_attr_normal = char_attr;
    char_attr_reverse = ((char_attr & 0xf) << 4) + ((char_attr & 0xf0) >> 4);
! 
!   /* 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,