8 extern GtkWidget *dive_profile_widget(void);
9 extern GtkWidget *dive_info_frame(void);
10 extern GtkWidget *extended_dive_info_widget(void);
11 extern GtkWidget *cylinder_management_widget(void);
12 extern void update_dive_info(struct dive *dive);
13 extern void repaint_dive(void);