[gnome-mines] Rename Difficulty button to Change Difficulty

[Robert Roth <robertroth src gnome org>]

commit d3c1c42d7593b2f0bac7a6c95ec828386dcf549a
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sat May 17 21:41:53 2014 -0500

    Rename Difficulty button to Change Difficulty
    
    https://bugzilla.gnome.org/show_bug.cgi?id=730316

 data/interface.ui |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/data/interface.ui b/data/interface.ui
index 7995b47..0245f44 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">115</property>
+                    <property name="width_request">125</property>
                     <property name="visible">True</property>
                     <property name="can_focus">False</property>
                     <property name="halign">start</property>
@@ -165,7 +165,7 @@
                     </child>
                     <child>
                       <object class="GtkButton" id="new_game_button">
-                        <property name="label" translatable="yes">_Difficulty</property>
+                        <property name="label" translatable="yes">Change _Difficulty</property>
                         <property name="can_focus">True</property>
                         <property name="receives_default">True</property>
                         <property name="action_name">app.new-game</property>