# HG changeset patch
# User ib
# Date 1357948741 0
# Node ID 4aa0a4326dc8dbcb5151c9bc8b88d547b6981322
# Parent  bdc064185bdaf2d8d8d1aa57a6b4d3445387d4d3
Change parameter type and name.

diff -r bdc064185bda -r 4aa0a4326dc8 gui/wm/ws.c
--- a/gui/wm/ws.c	Fri Jan 11 23:56:22 2013 +0000
+++ b/gui/wm/ws.c	Fri Jan 11 23:59:01 2013 +0000
@@ -985,9 +985,9 @@
 #define WIN_LAYER_NORMAL                 4
 #define WIN_LAYER_ONTOP                 10
 
-void wsSetLayer(Display *display, Window Win, int layer)
+void wsSetLayer(Display *display, Window Win, Bool fullscreen)
 {
-    vo_x11_setlayer(display, Win, layer);
+    vo_x11_setlayer(display, Win, fullscreen);
 }
 
 /**
diff -r bdc064185bda -r 4aa0a4326dc8 gui/wm/ws.h
--- a/gui/wm/ws.h	Fri Jan 11 23:56:22 2013 +0000
+++ b/gui/wm/ws.h	Fri Jan 11 23:59:01 2013 +0000
@@ -246,7 +246,7 @@
 void wsSetTitle(wsTWindow *win, char *name);
 void wsVisibleWindow(wsTWindow *win, int show);
 void wsWindowDecoration(wsTWindow *win, Bool decor);
-void wsSetLayer(Display *display, Window Win, int layer);
+void wsSetLayer(Display *display, Window Win, Bool fullscreen);
 void wsFullScreen(wsTWindow *win);
 void wsPostRedisplay(wsTWindow *win);
 void wsSetShape(wsTWindow *win, char *data);