[gnome-mines] Prefer dark gtk theme

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 606b6b39954aab83faaef147a5ac68b6b964ee05
Author: Chris Johns <christopher johns intel com>
Date:   Wed Apr 16 08:55:58 2014 +0100

    Prefer dark gtk theme
    
    https://bugzilla.gnome.org/show_bug.cgi?id=728261

 src/gnome-mines.vala |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index 3f01700..07e740d 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -155,6 +155,8 @@ public class Mines : Gtk.Application
         if (settings.get_boolean ("window-is-maximized"))
             window.maximize ();
 
+        window.get_settings ().gtk_application_prefer_dark_theme = true;
+
         var headerbar = new Gtk.HeaderBar ();
         headerbar.show_close_button = true;
         headerbar.set_title (_("Mines"));