From 2732474e5c1df31a2905c44a6df19e3d0d99bc20 Mon Sep 17 00:00:00 2001 From: Arun Persaud Date: Thu, 30 Jul 2009 19:55:02 -0700 Subject: [PATCH] fixed warning about radio buttons, grouped radio buttons together --- gtk-interface.xml | 8 ++++++++ xboard.c | 2 +- 2 files changed, 9 insertions(+), 1 deletions(-) diff --git a/gtk-interface.xml b/gtk-interface.xml index 282fb8b..dfbbda7 100644 --- a/gtk-interface.xml +++ b/gtk-interface.xml @@ -212,6 +212,7 @@ Machine Black True True + menuMode.Machine White @@ -220,6 +221,7 @@ Two Machines True True + menuMode.Machine White @@ -228,6 +230,7 @@ Analyze Mode True True + menuMode.Machine White @@ -236,6 +239,7 @@ Analyze File True True + menuMode.Machine White @@ -244,6 +248,7 @@ ICS Client True True + menuMode.Machine White @@ -252,6 +257,7 @@ Edit Game True True + menuMode.Machine White @@ -260,6 +266,7 @@ Edit Position True True + menuMode.Machine White @@ -268,6 +275,7 @@ Training True True + menuMode.Machine White diff --git a/xboard.c b/xboard.c index 2deaff1..2fe17ed 100644 --- 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; -- 1.7.0.4