* src/grrobot.c (grr_game_read_notices): Exit cleanly: need to

[grrobot] / src / grr_board_view.h

diff --git a/src/grr_board_view.h b/src/grr_board_view.h
index 2f7ebbe45dd9fd2797b4d848adb0b374e7157c69..948d8a4928aa7866105b611451be22947079cc74 100644 (file)
--- a/src/grr_board_view.h
+++ b/src/grr_board_view.h
@@ -67,8 +67,10 @@ struct grr_board_view
     /* Button currently pressed or 0 if none */
     guint8 button;
     
-    /* ID of update timer, or 0 if none */
-    guint32 timer;
+    double time;
+    double zap_time;
+    double drift_correct;
+    guint timer;
 
     grr_icon_t *cell1_icon;
     grr_icon_t *cell2_icon;
@@ -104,6 +106,18 @@ grr_board_view_undo (grr_board_view_t *view);
 void
 grr_board_view_mark_damage (grr_board_view_t *view, int i, int j);
 
+void
+grr_board_view_set_timer (grr_board_view_t *view, double time);
+
+void
+grr_board_view_start_timer (grr_board_view_t *view);
+
+void
+grr_board_view_stop_timer (grr_board_view_t *view);
+
+void
+grr_board_view_zap_timer (grr_board_view_t *view);
+
 void
 grr_board_view_transform_pixel_to_cell (grr_board_view_t *view,
                                        int pixel_x, int pixel_y,