-GtkWidget* grr_board_view_new (rr_board_t *board);
-GtkType grr_board_view_get_type (void);
-void grr_board_view_set_board (grr_board_view_t *view,
- rr_board_t *board);
+grr_board_view_t *
+grr_board_view_new (rr_board_t *board);
+
+void
+grr_board_view_set_client (grr_board_view_t *view, rr_client_t *client);
+
+GtkType
+grr_board_view_get_type (void);
+
+void
+grr_board_view_set_active_robot (grr_board_view_t *view, rr_robot_t robot);
+
+void
+grr_board_view_move_active (grr_board_view_t *view, rr_direction_t dir);
+
+void
+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_transform_pixel_to_cell (grr_board_view_t *view,
+ 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);
+