gui-plan: ignore MappingNotify

diff --git a/hostside/gui-plan.c b/hostside/gui-plan.c
index 33e601f2bb52336216b00c7d66bf7aa86b71c9c9..ca83af08828cba09f96326edc6229c58deee2f2c 100644 (file)
--- a/hostside/gui-plan.c
+++ b/hostside/gui-plan.c
@@ -331,6 +331,7 @@ static void xlib_process(void) {
     switch (ev.type) {
     case Expose: xlib_expose(&ev.xexpose); break;
     case NoExpose: break;
+    case MappingNotify: break;
     case GraphicsExpose: die_graphicsexpose(&ev);
     default: die("unrequested event type %d\n",ev.type);
     }