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

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 0a75ad4691d62e79cb4447c47948cc6a1d6bd8a6
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 1e106bb..202d237 100644
--- a/src/glines.c
+++ b/src/glines.c
@@ -1385,14 +1385,20 @@ game_props_callback (void)
     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) {