From 97e6de38475a53bee327c9d1d79357620390b991 Mon Sep 17 00:00:00 2001 From: Karl Heuer Date: Tue, 16 Jul 1996 23:25:18 +0000 Subject: [PATCH] (w32_read_socket): Need to erase background immediately before repainting exposed region. --- src/w32term.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/w32term.c b/src/w32term.c index 4f1fdb369c7..4299d1d6a0e 100644 --- a/src/w32term.c +++ b/src/w32term.c @@ -2408,6 +2408,8 @@ w32_read_socket (sd, bufp, numchars, waitp, expected) } else { + /* Erase background again for safety. */ + win32_clear_rect (f, NULL, &msg.rect); dumprectangle (f, msg.rect.left, msg.rect.top, -- 2.39.5