# HG changeset patch
# User ib
# Date 1315576403 0
# Node ID 1b9b9a987ec9f6a0dee09375f68b87f03cb6b1f7
# Parent  00c09bdc2d5a8d879cc09cef90bed959e38f3707
Port r12124 change to wsFullScreen().

diff -r 00c09bdc2d5a -r 1b9b9a987ec9 gui/wm/ws.c
--- a/gui/wm/ws.c	Fri Sep 09 13:46:11 2011 +0000
+++ b/gui/wm/ws.c	Fri Sep 09 13:53:23 2011 +0000
@@ -965,6 +965,7 @@
 
     /* unknown window manager and obsolete option -fsmode used */
     if (vo_wm_type == 0 && !(vo_fsmode & 16)) {
+        XUnmapWindow(wsDisplay, win->WindowID); // required for MWM
         XWithdrawWindow(wsDisplay, win->WindowID, wsScreen);
     }