X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xboard.c;h=8ed35b281da073d299d3ef0f2badcb6a021a9256;hb=50d46f9ac95d6fc78b15264f7fa6ed0b220571a6;hp=93835c624f634ae0f8e15f4c7ae723846bc8410f;hpb=83b0558f97728afb4e161675aee6f32812361236;p=xboard.git

diff --git a/xboard.c b/xboard.c
index 93835c6..8ed35b2 100644
--- a/xboard.c
+++ b/xboard.c
@@ -3863,9 +3863,10 @@ void ModeHighlight()
       }
     }
 
-    wname = ModeToWidgetName(oldmode);
-    if(wname)
-       gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (gtk_builder_get_object (builder, wname)),True);
+    // probably not needed anymore
+//    wname = ModeToWidgetName(oldmode);
+//    if(wname)
+//       gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (gtk_builder_get_object (builder, wname)),True);
 
     oldmode = gameMode;