/* ID of update timer, or 0 if none */
guint32 timer;
- grr_icon_t *cell_icon;
+ grr_icon_t *cell1_icon;
+ grr_icon_t *cell2_icon;
grr_icon_t *wall_icon;
grr_icon_t *robot_icon[RR_NUM_ROBOTS];
int pixel_x, int pixel_y,
int *cell_x, int *cell_y);
+void
+grr_board_view_transform_cell_to_pixel (grr_board_view_t *view,
+ int cell_x, int cell_y,
+ int *pixel_x, int *pixel_y);
+
#ifdef __cplusplus
}
#endif /* __cplusplus */