[gnome-mines/wip/theming-support] Fixed some pause glitches

[Robert Roth <robertroth src gnome org>]

commit ebee08d71842ed98b6d83ac1758cff923dbb2aa4
Author: Robert Roth <robert roth off gmail com>
Date:   Wed Jan 7 23:18:41 2015 +0200

    Fixed some pause glitches

 src/gnome-mines.vala |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index ac7db3e..15d2356 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -411,7 +411,8 @@ public class Mines : Gtk.Application
 
     private bool window_focus_in_event_cb (Gdk.EventFocus event)
     {
-        if (minefield != null && !pause_requested)
+        if (minefield != null && !pause_requested && 
+            (theme_dialog == null || theme_dialog.visible == false))
             minefield.paused = false;
 
         return false;
@@ -492,7 +493,7 @@ public class Mines : Gtk.Application
     private int show_theme_selector ()
     {
         theme_dialog = new ThemeSelectorDialog ();
-        //dialog.modal = true;
+        theme_dialog.modal = true;
         theme_dialog.transient_for = window;
 
         var result = theme_dialog.run ();