Guarantee that the presentation space for a window is set to its

normal colors at the end of a redisplay.  Previously, it was often
left in the highlight colors, which would cause areas of the window to
be painted in the foreground color when they were exposed.

diff --git a/v7/src/edwin/os2term.scm b/v7/src/edwin/os2term.scm
index 66c1410d95826614551afa73293538006bf68fca..0411806e175f117cb2ed7b4207c4cea06d8f3d6c 100644 (file)
--- a/v7/src/edwin/os2term.scm
+++ b/v7/src/edwin/os2term.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;;    $Id: os2term.scm,v 1.16 1996/05/11 08:50:15 cph Exp $
+;;;    $Id: os2term.scm,v 1.17 1996/05/14 05:42:46 cph Exp $
 ;;;
 ;;;    Copyright (c) 1994-96 Massachusetts Institute of Technology
 ;;;
@@ -268,6 +268,7 @@
                      (set! finished? result)
                      result))
                  (lambda ()
+                   (set-screen-face! screen (screen-normal-face screen))
                    (if finished?
                        (update-os2-screen-names! screen))))))