[five-or-more/gnome-3-10] Preferences: properly initialize the size radio

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 5aee9a79ba31f5891aa305cdc258f9fdb41b0c43
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sun Jan 26 22:22:10 2014 -0600

    Preferences: properly initialize the size radio
    
    https://bugzilla.gnome.org/show_bug.cgi?id=720228

 src/glines.c |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/src/glines.c b/src/glines.c
index 0c3a642..e7fd66e 100644
--- a/src/glines.c
+++ b/src/glines.c
@@ -1393,14 +1393,20 @@ game_props_callback (GSimpleAction *action,
     size_radio = GTK_WIDGET (gtk_builder_get_object (builder_preferences, "radiobutton_small"));
     g_signal_connect (size_radio, "clicked",
                       G_CALLBACK (size_callback), GINT_TO_POINTER (1));
+    if (game_size == SMALL)
+      gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (size_radio), TRUE);
 
     size_radio = GTK_WIDGET (gtk_builder_get_object (builder_preferences, "radiobutton_medium"));
     g_signal_connect (size_radio, "clicked",
                       G_CALLBACK (size_callback), GINT_TO_POINTER (2));
+    if (game_size == MEDIUM)
+      gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (size_radio), TRUE);
 
     size_radio = GTK_WIDGET (gtk_builder_get_object (builder_preferences, "radiobutton_large"));
     g_signal_connect (size_radio, "clicked",
                       G_CALLBACK (size_callback), GINT_TO_POINTER (3));
+    if (game_size == LARGE)
+      gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (size_radio), TRUE);
 
     fast_moves_checkbutton = GTK_WIDGET (gtk_builder_get_object (builder_preferences, 
"checkbutton_fast_moves"));
     if (move_timeout == 10) {