# HG changeset patch
# User ib
# Date 1358597554 0
# Node ID f1d1404c3828b08667c39b48d2211316dd92d886
# Parent  af387a83e55720b5022bb41736805d61a6031434
Use Bool type.

It's a boolean property.

diff -r af387a83e557 -r f1d1404c3828 gui/wm/ws.h
--- a/gui/wm/ws.h	Sat Jan 19 12:10:24 2013 +0000
+++ b/gui/wm/ws.h	Sat Jan 19 12:12:34 2013 +0000
@@ -103,7 +103,7 @@
     Window Parent;
     int X, Y, Width, Height;
     int OldX, OldY, OldWidth, OldHeight;
-    int isFullScreen;
+    Bool isFullScreen;
     int Property;
     unsigned char *bImage;
     XImage *xImage;