# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 834785695 0
# Node ID d18c26cf45f43ddc0c8b85dbaf0c56236e72a9fb
# Parent  38d485973e00875459c6c972ec2b6497532553ba
(w32_read_socket): Erase update rect on WM_PAINT, so
no need to process WM_ERASEBKGND.

diff -r 38d485973e00 -r d18c26cf45f4 src/w32term.c
--- a/src/w32term.c	Fri Jun 14 20:54:26 1996 +0000
+++ b/src/w32term.c	Fri Jun 14 20:54:55 1996 +0000
@@ -2394,6 +2394,7 @@
     {
       switch (msg.msg.message)
 	{
+#if 0
 	case WM_ERASEBKGND:
 	  f = x_window_to_frame (dpyinfo, msg.msg.hwnd);
 	  if (f)
@@ -2401,6 +2402,7 @@
 	      win32_clear_rect (f, NULL, &msg.rect);
 	    }
 	  break;
+#endif
 	case WM_PAINT:
 	  {
 	    f = x_window_to_frame (dpyinfo, msg.msg.hwnd);
@@ -2415,12 +2417,15 @@
 		  }
 		else
 		  {
+		    /* WM_ERASEBKGND is only generated (and processed)
+		       in response to WM_PAINT, so emulate that
+		       behaviour here. */
+		    win32_clear_rect (f, NULL, &msg.rect);
 		    dumprectangle (f,
 				   msg.rect.left,
 				   msg.rect.top,
 				   msg.rect.right-msg.rect.left+1,
 				   msg.rect.bottom-msg.rect.top+1);
-		      
 		  }
 	      }
 	  }