* src/grrobot.c (grr_game_read_notices): Call new board_view timer

[grrobot] / src / grr_board_view.h

diff --git a/src/grr_board_view.h b/src/grr_board_view.h
index 2f7ebbe45dd9fd2797b4d848adb0b374e7157c69..92cf981fc0cf1bbc55c5df2e9f15eda293ee731f 100644 (file)
--- a/src/grr_board_view.h
+++ b/src/grr_board_view.h
@@ -67,8 +67,9 @@ 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 drift_correct;
+    guint timer;
 
     grr_icon_t *cell1_icon;
     grr_icon_t *cell2_icon;
@@ -104,6 +105,15 @@ 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_start_timer (grr_board_view_t *view, double time);
+
+void
+grr_board_view_stop_timer (grr_board_view_t *view);
+
+void
+grr_board_view_reset_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,