# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 837559518 0
# Node ID d2cee951f37e6eab001ff81de9cb8ff743300be9
# Parent  2752419e5aa2024531bcc4db2676798e9b8479b7
(w32_read_socket): Need to erase background
immediately before repainting exposed region.

diff -r 2752419e5aa2 -r d2cee951f37e src/w32term.c
--- a/src/w32term.c	Tue Jul 16 23:23:09 1996 +0000
+++ b/src/w32term.c	Tue Jul 16 23:25:18 1996 +0000
@@ -2408,6 +2408,8 @@
 		  }
 		else
 		  {
+		    /* Erase background again for safety.  */
+		    win32_clear_rect (f, NULL, &msg.rect);
 		    dumprectangle (f,
 				   msg.rect.left,
 				   msg.rect.top,