# HG changeset patch
# User ib
# Date 1315577510 0
# Node ID f98595b413e27af65e362151683b3f9fc983199e
# Parent  7070033cf36070ef06dd58d30f7de2f18b474ece
Replace vo_x11_setlayer() calls by wsSetLayer() in wsFullScreen().

diff -r 7070033cf360 -r f98595b413e2 gui/wm/ws.c
--- a/gui/wm/ws.c	Fri Sep 09 14:07:14 2011 +0000
+++ b/gui/wm/ws.c	Fri Sep 09 14:11:50 2011 +0000
@@ -972,13 +972,13 @@
     if (!(vo_fs_type & vo_wm_FULLSCREEN)) { // shouldn't be needed with EWMH fs
         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);
+        wsSetLayer(wsDisplay, win->WindowID, win->isFullScreen);
         XMoveResizeWindow(wsDisplay, win->WindowID, win->X, win->Y, win->Width, win->Height);
     }
 
     /* some window managers lose ontop after fullscreen */
     if (!win->isFullScreen & vo_ontop)
-        vo_x11_setlayer(wsDisplay, win->WindowID, vo_ontop);
+        wsSetLayer(wsDisplay, win->WindowID, vo_ontop);
 
     wsRaiseWindowTop(wsDisplay, win->WindowID);
     XFlush(wsDisplay);