[gnome-mines] Allow closing of scores window (bug 687015)

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 2f36704166dd610690300bd3312d92f91f2e7900
Author: Isaac Lenton <isaac isuniversal com>
Date:   Tue Nov 12 00:30:25 2013 +1000

    Allow closing of scores window (bug 687015)

 src/gnome-mines.vala |   11 +++++++----
 1 files changed, 7 insertions(+), 4 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index c1370ed..e71ba03 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -612,10 +612,13 @@ public class Mines : Gtk.Application
         history.add (entry);
         history.save ();
 
-        if (show_scores (entry, true) == Gtk.ResponseType.CLOSE)
-            window.destroy ();
-        else
+        if (show_scores (entry, true) == Gtk.ResponseType.OK)
             show_new_game_screen ();
+        else
+        {
+            hint_action.set_enabled (false);
+            pause_action.set_enabled (false);
+        }
     }
 
     private void tick_cb ()
@@ -884,7 +887,7 @@ public class ScoreDialog : Gtk.Dialog
 
         if (show_quit)
         {
-            add_button (_("_Quit"), Gtk.ResponseType.CLOSE);
+            add_button (_("_Close"), Gtk.ResponseType.CLOSE);
 
             var button = add_button (_("New Game"), Gtk.ResponseType.OK);
             button.has_focus = true;