# HG changeset patch
# User ib
# Date 1315478591 0
# Node ID 4dda3e85b298e38435d1f96471474f4819e7d9f6
# Parent  58b5bca840a8c55d0cb432e79919c92fc9e062d8
Use wsRaiseWindowTop() in wsFullScreen().

diff -r 58b5bca840a8 -r 4dda3e85b298 gui/wm/ws.c
--- a/gui/wm/ws.c	Thu Sep 08 10:41:18 2011 +0000
+++ b/gui/wm/ws.c	Thu Sep 08 10:43:11 2011 +0000
@@ -955,8 +955,7 @@
         XWithdrawWindow(wsDisplay, win->WindowID, wsScreen);
     }
 
-    XMapRaised(wsDisplay, win->WindowID);
-    XRaiseWindow(wsDisplay, win->WindowID);
+    wsRaiseWindowTop(wsDisplay, win->WindowID);
     XFlush(wsDisplay);
 }