diff src/w32term.c @ 15723:d2cee951f37e

(w32_read_socket): Need to erase background immediately before repainting exposed region.
author Karl Heuer <kwzh@gnu.org>
date Tue, 16 Jul 1996 23:25:18 +0000
parents b055a4ec9351
children 80562f089595
line wrap: on
line diff
--- 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,