[gnome-mines] Readded transitions and added button size requests

[Robert Roth <robertroth src gnome org>]

commit 3ed09d5e3680cf72162bd3acc2e9bd85e239cdd1
Author: Robert Roth <robert roth off gmail com>
Date:   Mon Jan 26 20:36:44 2015 +0200

    Readded transitions and added button size requests

 data/interface.ui |   13 +++++++++++--
 1 files changed, 11 insertions(+), 2 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index f18700e..078ba3b 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -12,8 +12,8 @@
     </widgets>
   </object>
   <object class="GtkApplicationWindow" id="main_window">
-    <property name="width_request">560</property>
-    <property name="height_request">400</property>
+    <property name="width_request">590</property>
+    <property name="height_request">460</property>
     <property name="can_focus">False</property>
     <property name="title" translatable="yes">Mines</property>
     <property name="icon_name">gnome-mines</property>
@@ -29,6 +29,7 @@
             <property name="can_focus">False</property>
             <property name="hexpand">True</property>
             <property name="vexpand">True</property>
+            <property name="transition-type">slide-left-right</property>
             <child>
               <object class="GtkAspectFrame" id="new_game_screen">
                 <property name="visible">True</property>
@@ -336,6 +337,8 @@
                             </child>
                             <child>
                               <object class="GtkButton" id="play_pause_button">
+                                <property name="width_request">120</property>
+                                <property name="height_request">60</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">True</property>
                                 <property name="action_name">app.pause</property>
@@ -358,6 +361,8 @@
                             </child>
                             <child>
                               <object class="GtkButton" id="new_game_button">
+                                <property name="width_request">120</property>
+                                <property name="height_request">60</property>
                                 <property name="label" translatable="yes">Change _Difficulty</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">True</property>
@@ -373,6 +378,8 @@
                             </child>
                             <child>
                               <object class="GtkButton" id="high_scores_button">
+                                <property name="width_request">120</property>
+                                <property name="height_request">60</property>
                                 <property name="label" translatable="yes">_Best Times</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">True</property>
@@ -388,6 +395,8 @@
                             </child>
                             <child>
                               <object class="GtkButton" id="replay_button">
+                                <property name="width_request">120</property>
+                                <property name="height_request">60</property>
                                 <property name="label" translatable="yes">_Play Again</property>
                                 <property name="can_focus">True</property>
                                 <property name="receives_default">True</property>