X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxboard.c;h=c62f2c3050db3522363cd60bdaff1697132dec91;hb=752697385e80b54b2f18216e1c6a584203f8df82;hp=dbb2670a0d8ac92db327ac5d6759e4dbe79332a6;hpb=2185e1a810176b9d35911045d876513fa86b5dc2;p=xboard.git

diff --git a/gtk/xboard.c b/gtk/xboard.c
index dbb2670..c62f2c3 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -1139,7 +1139,7 @@ main (int argc, char **argv)
     boardWidget      = optList[W_BOARD].handle;
     menuBarWidget    = optList[W_MENU].handle;
     dropMenu         = optList[W_DROP].handle;
-    titleWidget = optList[optList[W_TITLE].type != -1 ? W_TITLE : W_SMALL].handle;
+    titleWidget = optList[optList[W_TITLE].type != Skip ? W_TITLE : W_SMALL].handle;
 #ifdef TODO_GTK
     formWidget  = XtParent(boardWidget);
     XtSetArg(args[0], XtNbackground, &timerBackgroundPixel);