From: Arun Persaud Date: Fri, 31 Jul 2009 02:55:02 +0000 (-0700) Subject: fixed warning about radio buttons, grouped radio buttons together X-Git-Tag: gtk-20091122~49 X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=2732474e5c1df31a2905c44a6df19e3d0d99bc20;p=xboard.git fixed warning about radio buttons, grouped radio buttons together --- 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;