[PATCH 5/7] server: Update window surface regions when the window is shaped.

[Rémi Bernon]

From: Rémi Bernon

---
 server/window.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/server/window.c b/server/window.c
index 50d6ae5dbcc..4ebfec3da12 100644
--- a/server/window.c
+++ b/server/window.c
@@ -2485,7 +2485,8 @@ DECL_HANDLER(set_window_pos)
     if (is_visible( top ) && (top->paint_flags & PAINT_HAS_SURFACE))
     {
         reply->surface_win = top->handle;
-        reply->needs_update = !!(top->paint_flags & (PAINT_HAS_PIXEL_FORMAT | PAINT_PIXEL_FORMAT_CHILD));
+        reply->needs_update = !!(top->paint_flags & (PAINT_HAS_PIXEL_FORMAT | PAINT_PIXEL_FORMAT_CHILD)) ||
+                              !!top->win_region;
     }
 }