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

diff --git a/xboard.c b/xboard.c
index 69079be..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);