(w32_read_socket): Erase update rect on WM_PAINT, so

no need to process WM_ERASEBKGND.

diff --git a/src/w32term.c b/src/w32term.c
index 350e07675af28cfbaf73ad9ccdd98d1abd42e84e..e0f840999a0f07d39deaff922999f387a0f7ab3c 100644 (file)
--- a/src/w32term.c
+++ b/src/w32term.c
@@ -2394,6 +2394,7 @@ w32_read_socket (sd, bufp, numchars, waitp, expected)
     {
       switch (msg.msg.message)
        {
+#if 0
        case WM_ERASEBKGND:
          f = x_window_to_frame (dpyinfo, msg.msg.hwnd);
          if (f)
@@ -2401,6 +2402,7 @@ w32_read_socket (sd, bufp, numchars, waitp, expected)
              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 @@ w32_read_socket (sd, bufp, numchars, waitp, expected)
                  }
                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);
-                     
                  }
              }
          }