changeset 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 2752419e5aa2
children 45f40424c2d7
files src/w32term.c
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
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,