X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxoptions.c;h=5df840bbc558314a1d002904a99830e9cd65a2ef;hb=23692c478ba77512b560537a54f1fd4b3d3e977e;hp=8b4c98a28e584fce81bf39b66667428acb223a82;hpb=1c1d94343c5cb54122a5fe5fe46b1569437261e4;p=xboard.git

diff --git a/gtk/xoptions.c b/gtk/xoptions.c
index 8b4c98a..5df840b 100644
--- a/gtk/xoptions.c
+++ b/gtk/xoptions.c
@@ -138,16 +138,6 @@ static Arg formArgs[] = {
 };
 #endif
 
-void
-MarkMenuItem (char *menuRef, int state)
-{
-    MenuItem *item = MenuNameToItem(menuRef);
-
-    if(item && item->handle) {
-        ((GtkCheckMenuItem *) (item->handle))->active = state;
-    }
-}
-
 void GetWidgetTextGTK(GtkWidget *w, char **buf)
 {
     GtkTextIter start;