[gnome-mines] Do not use soon-to-be-deprecated properties

[Robert Roth <robertroth src gnome org>]

commit 734cdca903820e2cd55af46d6419aef6d9f4105c
Author: Robert Roth <robert roth off gmail com>
Date:   Wed Jul 2 01:42:38 2014 +0300

    Do not use soon-to-be-deprecated properties

 data/interface.ui |   14 +++++---------
 1 files changed, 5 insertions(+), 9 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index 51c59af..9fbcdd4 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -21,10 +21,7 @@
       <object class="GtkBox" id="main_vbox">
         <property name="visible">True</property>
         <property name="can_focus">False</property>
-        <property name="margin_left">12</property>
-        <property name="margin_right">12</property>
-        <property name="margin_top">12</property>
-        <property name="margin_bottom">12</property>
+        <property name="margin">12</property>
         <property name="spacing">12</property>
         <child>
           <object class="GtkBox" id="view_box">
@@ -134,8 +131,7 @@
                           <object class="GtkLabel" id="play_pause_label">
                             <property name="visible">True</property>
                             <property name="can_focus">False</property>
-                            <property name="xpad">24</property>
-                            <property name="ypad">12</property>
+                            <property name="margin">12</property>
                             <property name="label" translatable="yes">_Pause</property>
                             <property name="use_underline">True</property>
                           </object>
@@ -293,7 +289,7 @@
                       <object class="GtkLabel" id="width_label">
                         <property name="visible">True</property>
                         <property name="can_focus">False</property>
-                        <property name="xalign">0</property>
+                        <property name="halign">start</property>
                         <property name="label" translatable="yes">_Width</property>
                         <property name="use_underline">True</property>
                         <property name="mnemonic_widget">width_spin_btn</property>
@@ -317,7 +313,7 @@
                       <object class="GtkLabel" id="height_label">
                         <property name="visible">True</property>
                         <property name="can_focus">False</property>
-                        <property name="xalign">0</property>
+                        <property name="halign">start</property>
                         <property name="label" translatable="yes">_Height</property>
                         <property name="use_underline">True</property>
                         <property name="mnemonic_widget">height_spin_btn</property>
@@ -341,7 +337,7 @@
                       <object class="GtkLabel" id="percent_mines_label">
                         <property name="visible">True</property>
                         <property name="can_focus">False</property>
-                        <property name="xalign">0</property>
+                        <property name="halign">start</property>
                         <property name="label" translatable="yes">Percent _mines</property>
                         <property name="use_underline">True</property>
                       </object>