# HG changeset patch
# User ib
# Date 1315576639 0
# Node ID a62eb0fc65624024a523feae8d68d767b8a79eb9
# Parent  1b9b9a987ec9f6a0dee09375f68b87f03cb6b1f7
Port r14245 change to wsFullScreen().

diff -r 1b9b9a987ec9 -r a62eb0fc6562 gui/wm/ws.c
--- a/gui/wm/ws.c	Fri Sep 09 13:53:23 2011 +0000
+++ b/gui/wm/ws.c	Fri Sep 09 13:57:19 2011 +0000
@@ -973,13 +973,12 @@
         vo_x11_decoration(wsDisplay, win->WindowID, win->Decorations && !win->isFullScreen);
         vo_x11_sizehint(win->X, win->Y, win->Width, win->Height, 0);
         vo_x11_setlayer(wsDisplay, win->WindowID, win->isFullScreen);
-
-        if ((!(win->isFullScreen)) & vo_ontop)
-            vo_x11_setlayer(wsDisplay, win->WindowID, 1);
-
         XMoveResizeWindow(wsDisplay, win->WindowID, win->X, win->Y, win->Width, win->Height);
     }
 
+    if ((!(win->isFullScreen)) & vo_ontop)
+        vo_x11_setlayer(wsDisplay, win->WindowID, 1);
+
     wsRaiseWindowTop(wsDisplay, win->WindowID);
     XFlush(wsDisplay);
 }