[gnome-mines] Further improvements to the UI file

[Robert Roth <robertroth src gnome org>]

commit 054bccdf2304ed74a50a02ab9305d0392227227c
Author: Robert Roth <robert roth off gmail com>
Date:   Wed Apr 23 17:53:55 2014 +0300

    Further improvements to the UI file

 data/interface.ui    |    9 +++++++--
 src/gnome-mines.vala |    4 ++--
 2 files changed, 9 insertions(+), 4 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index 3faa1b0..7daf1c4 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -63,6 +63,7 @@
             <property name="can_focus">False</property>
             <property name="hexpand">True</property>
             <property name="vexpand">True</property>
+            <property name="border_width">6</property>
             <property name="orientation">vertical</property>
             <child>
               <object class="GtkBox" id="main_screen">
@@ -72,9 +73,10 @@
                   <object class="GtkAspectFrame" id="minefield_aspect">
                     <property name="visible">True</property>
                     <property name="can_focus">False</property>
+                    <property name="hexpand">True</property>
+                    <property name="vexpand">True</property>
                     <property name="label_xalign">0</property>
                     <property name="shadow_type">none</property>
-                    <property name="yalign">0.50999999046325684</property>
                     <property name="obey_child">False</property>
                     <child>
                       <placeholder/>
@@ -226,7 +228,7 @@
                 </child>
               </object>
               <packing>
-                <property name="expand">True</property>
+                <property name="expand">False</property>
                 <property name="fill">True</property>
                 <property name="position">0</property>
               </packing>
@@ -440,6 +442,9 @@
                 <property name="position">2</property>
               </packing>
             </child>
+            <child>
+              <placeholder/>
+            </child>
           </object>
           <packing>
             <property name="expand">True</property>
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index e6540eb..6b7b028 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -26,7 +26,7 @@ public class Mines : Gtk.Application
     public static const string KEY_USE_OVERMINE_WARNING = "use-overmine-warning";
     public static const string KEY_USE_AUTOFLAG = "use-autoflag";
 
-    private Gtk.Box main_screen;
+    private Gtk.Widget main_screen;
     private Gtk.Button play_pause_button;
     private Gtk.Label play_pause_label;
     private Gtk.Button replay_button;
@@ -196,7 +196,7 @@ public class Mines : Gtk.Application
 
         minefield_overlay.add_overlay (paused_box);
 
-        main_screen = (Gtk.Box) ui_builder.get_object ("main_screen");
+        main_screen = (Gtk.Widget) ui_builder.get_object ("main_screen");
 
         /* Initialize New Game Screen */
         startup_new_game_screen (ui_builder);