Add Option type 'Skip'

[xboard.git] / gtk / xoptions.c

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index 68eb638..f93a51f 100644 (file)
--- 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) {