[gnome-mines] Fix 2-second timer jumps by refreshing the clock each 200ms (bgo#756302).

[Robert Roth <robertroth src gnome org>]

commit 5b98194d2d07cd8e09cbf647290ba37f21dff2c2
Author: Robert Roth <robert roth off gmail com>
Date:   Tue Oct 27 02:02:20 2015 +0200

    Fix 2-second timer jumps by refreshing the clock each 200ms (bgo#756302).
    
    With 1 second timeout between timer refreshes in some cases we had some
    seconds skipped, resulting in not smooth timer. In order to prevent that,
    the timer is updated 5 times a second.
    https://bugzilla.gnome.org/show_bug.cgi?id=756302

 src/minefield.vala |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/minefield.vala b/src/minefield.vala
index e63f118..d180214 100644
--- a/src/minefield.vala
+++ b/src/minefield.vala
@@ -374,7 +374,7 @@ public class Minefield : Object
         if (clock_timeout != 0)
             Source.remove (clock_timeout);
         clock_timeout = 0;
-        clock_timeout = Timeout.add_seconds (1, timeout_cb);
+        clock_timeout = Timeout.add (200, timeout_cb);
     }
 
     private void start_clock ()