X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxboard.c;h=c62f2c3050db3522363cd60bdaff1697132dec91;hb=94ca1174b4136fbc28e2656a80382d0964cafaa0;hp=dbb2670a0d8ac92db327ac5d6759e4dbe79332a6;hpb=a05cf40b57676eed5d8a3836569965d7c7ebc534;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);