# HG changeset patch
# User ib
# Date 1369583674 0
# Node ID 829983f984ad3dcdfc9607015bcc6f4c5dcf8b5f
# Parent  9beb155c77a0648b865466c2a107913023fe47be
Handle events while waiting for window being mapped.

Reported by Jens Stimpfle, debian jstimpfle de.

diff -r 9beb155c77a0 -r 829983f984ad gui/wm/ws.c
--- a/gui/wm/ws.c	Sun May 26 15:51:54 2013 +0000
+++ b/gui/wm/ws.c	Sun May 26 15:54:34 2013 +0000
@@ -755,9 +755,10 @@
     XEvent xev;
 
     if (win->Property & wsWaitMap) {
-        do
+        do {
             XNextEvent(wsDisplay, &xev);
-        while (xev.type != MapNotify || xev.xmap.event != win->WindowID);
+            wsEvent(&xev);
+        } while (xev.type != MapNotify || xev.xmap.event != win->WindowID);
 
         win->Mapped = wsMapped;
     }