8 extern GtkWidget *main_window;
10 extern void import_dialog(GtkWidget *, gpointer);
12 extern GtkWidget *dive_profile_widget(void);
13 extern GtkWidget *dive_info_frame(void);
14 extern GtkWidget *extended_dive_info_widget(void);
15 extern GtkWidget *equipment_widget(void);
17 extern void repaint_dive(void);