[gnome-mines] theme-selector: use headerbar and close button

[Robert Roth <robertroth src gnome org>]

commit 3a7e0f8c7ca7580d7d9b1b0c1a4eba35f6942d9a
Author: Robert Roth <robert roth off gmail com>
Date:   Wed Jan 14 09:35:37 2015 +0200

    theme-selector: use headerbar and close button
    
    https://bugzilla.gnome.org/show_bug.cgi?id=742890

 src/theme-selector-dialog.vala |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/src/theme-selector-dialog.vala b/src/theme-selector-dialog.vala
index 6b5f47f..efc8826 100644
--- a/src/theme-selector-dialog.vala
+++ b/src/theme-selector-dialog.vala
@@ -76,10 +76,12 @@ public class ThemeSelectorDialog : Gtk.Dialog
 
     public ThemeSelectorDialog ( )
     {
-        MinefieldView minefield;
+        Object (use_header_bar: 1);
 
+        MinefieldView minefield;
         title = _("Select theme");
 
+        (get_header_bar () as Gtk.HeaderBar).set_show_close_button (true);
         var overlay = new Gtk.Overlay ();
         get_content_area ().pack_start (overlay, true, true, 0);
 
@@ -129,7 +131,7 @@ public class ThemeSelectorDialog : Gtk.Dialog
         update_sensitivities (themes, current_index);
         overlay.show_all ();
 
-        set_size_request (350, 300);
+        set_size_request (400, 400);
         resizable = false;
     }