fixed warning about radio buttons, grouped radio buttons together

[xboard.git] / xboard.c

diff --git a/xboard.c b/xboard.c
index 2deaff1..2fe17ed 100644 (file)
--- a/xboard.c
+++ b/xboard.c
@@ -5758,7 +5758,7 @@ void ModeHighlight()
     
     wname = ModeToWidgetName(oldmode);
     if(wname)
-      gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON (gtk_builder_get_object (builder, wname)),True);
+       gtk_check_menu_item_set_active (GTK_CHECK_MENU_ITEM (gtk_builder_get_object (builder, wname)),True);
     
     oldmode = gameMode;