[gnome-mines] Allocate more space for the buttons box

[Robert Roth <robertroth src gnome org>]

commit 489afd1547a31d52d8e75fafedab839fb020eb7e
Author: Robert Roth <robert roth off gmail com>
Date:   Mon May 19 07:46:04 2014 +0300

    Allocate more space for the buttons box

 data/interface.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index 0245f44..51c59af 100644
--- a/data/interface.ui
+++ b/data/interface.ui
@@ -65,7 +65,7 @@
                 </child>
                 <child>
                   <object class="GtkBox" id="buttons_box">
-                    <property name="width_request">125</property>
+                    <property name="width_request">140</property>
                     <property name="visible">True</property>
                     <property name="can_focus">False</property>
                     <property name="halign">start</property>