X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxoptions.c;h=f93a51fa83335b67907d87c6e41f3cac9659f43e;hb=53160aadadca6a23463efdeb9f6e0953de4eb380;hp=68eb638f9c3e7d9d8b399dee9918a89c6a240d27;hpb=0d8809c4ffb488470b972032a69426b787fb9879;p=xboard.git

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index 68eb638..f93a51f 100644
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -1198,7 +1198,7 @@ if(appData.debugMode) printf("n=%d, h=%d, w=%d\n",n,height,width);
     top = -1;
 
     for (i=0;option[i].type != EndMark;i++) {
-	if(option[i].type == -1) continue;
+	if(option[i].type == Skip) continue;
         top++;
 //printf("option =%2d, top =%2d\n", i, top);
         if (top >= height) {