Force repainting of console window after a font change. This used to

work, but changes to console_resize caused it to break.

diff --git a/v7/src/microcode/os2pmcon.c b/v7/src/microcode/os2pmcon.c
index b205a8e5f34128d80beb38220fcf5bef0e294504..5342476cee4861015bc336ecd13206a5a838f6bb 100644 (file)
--- a/v7/src/microcode/os2pmcon.c
+++ b/v7/src/microcode/os2pmcon.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: os2pmcon.c,v 1.19 1995/11/04 01:01:08 cph Exp $
+$Id: os2pmcon.c,v 1.20 1995/11/06 11:54:57 cph Exp $
 
 Copyright (c) 1994-95 Massachusetts Institute of Technology
 
@@ -222,6 +222,9 @@ OS2_console_font_change_hook (font_metrics_t * metrics)
   OS2_window_shape_cursor
     (console_wid, CHAR_WIDTH, CHAR_HEIGHT, (CURSOR_SOLID | CURSOR_FLASH));
   console_resize (console_pel_width, console_pel_height);
+  OS2_window_invalidate (console_wid,
+                        0, console_pel_width,
+                        0, console_pel_height);
   release_console_lock ();
 }
 \f