[hitori/hitori-0-4] Disable the game play timer after winning

[Philip Withnall <pwithnall src gnome org>]

commit c7ad10f5af26176a8d92ceceb102d973fa5de9bb
Author: Philip Withnall <philip tecnocode co uk>
Date:   Tue Jul 8 23:17:07 2014 +0100

    Disable the game play timer after winning
    
    In certain situations, the game play timer could become re-enabled after
    winning a game (but before starting the next one). Only un-pause it if
    event processing is enabled (i.e. a game is underway).

 src/interface.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/interface.c b/src/interface.c
index 8f5a5af..d79083c 100644
--- a/src/interface.c
+++ b/src/interface.c
@@ -419,7 +419,7 @@ hitori_window_state_event_cb (GtkWindow *window, GdkEventWindowState *event, Hit
                }
 
                hitori_pause_timer (hitori);
-       } else if (timer_was_running == TRUE) {
+       } else if (timer_was_running && hitori->processing_events) {
                /* Re-start the timer */
                hitori_start_timer (hitori);
        }