X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.c;h=6bc77ccce9fc3c3b8662c442bf53bacb0b0bd9b2;hb=7e0222e64da6706bf0dc2468f459b98e4346206b;hp=3e8de0bd8386342e77a2a7020fe7b9b3d584f8d6;hpb=1251e4d2bd5ff562f337e6638db71d21696b54cc;p=xboard.git

diff --git a/xboard.c b/xboard.c
index 3e8de0b..6bc77cc 100644
--- a/xboard.c
+++ b/xboard.c
@@ -1582,18 +1582,6 @@ ReadBitmap (Pixmap *pm, String name, unsigned char bits[], u_int wreq, u_int hre
 }
 
 void
-MarkMenuItem (char *menuRef, int state)
-{
-    MenuItem *item = MenuNameToItem(menuRef);
-
-    if(item) {
-	Arg args[2];
-	XtSetArg(args[0], XtNleftBitmap, state ? xMarkPixmap : None);
-	XtSetValues(item->handle, args, 1);
-    }
-}
-
-void
 EnableNamedMenuItem (char *menuRef, int state)
 {
     MenuItem *item = MenuNameToItem(menuRef);
@@ -1736,8 +1724,8 @@ ReSize (WindowPlacement *wp)
 	} else ResizeBoardWindow(BOARD_WIDTH * (squareSize + lineGap) + lineGap, BOARD_HEIGHT * (squareSize + lineGap) + lineGap, 0);
 	w = BOARD_WIDTH * (squareSize + lineGap) + lineGap;
 	h = BOARD_HEIGHT * (squareSize + lineGap) + lineGap;
-	if(optList->max   > w) optList->max = w;
-	if(optList->value > h) optList->value = h;
+	if(optList[W_BOARD].max   > w) optList[W_BOARD].max = w;
+	if(optList[W_BOARD].value > h) optList[W_BOARD].value = h;
 }
 
 static XtIntervalId delayedDragID = 0;