8 extern GtkWidget *main_window;
10 extern GtkWidget *dive_profile_widget(void);
11 extern GtkWidget *dive_info_frame(void);
12 extern GtkWidget *extended_dive_info_widget(void);
13 extern GtkWidget *equipment_widget(void);
15 extern void repaint_dive(void);