[gnome-mines] Use headerbar in the preferences dialog

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 98a92feefb648ccf556dcb160bf7bdebfd89f26f
Author: Yosef Or Boczko <yoseforb src gnome org>
Date:   Tue Mar 25 23:55:39 2014 +0200

    Use headerbar in the preferences dialog
    
    https://bugzilla.gnome.org/show_bug.cgi?id=727050

 src/gnome-mines.vala |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index b9a7a2d..5f77e6e 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -812,9 +812,8 @@ public class Mines : Gtk.Application
     {
         var dialog = new Gtk.Dialog.with_buttons (_("Mines Preferences"),
                                                   window,
-                                                  0,
-                                                  _("_Close"),
-                                                  Gtk.ResponseType.CLOSE, null);
+                                                  Gtk.DialogFlags.USE_HEADER_BAR,
+                                                  null);
         dialog.response.connect (pref_response_cb);
         dialog.delete_event.connect (pref_delete_event_cb);
         dialog.set_border_width (5);