extern GtkWidget *dive_profile_frame(void);
extern GtkWidget *dive_info_frame(void);
extern GtkWidget *create_dive_list(void);
+extern void update_dive_info(struct dive *dive);
extern void repaint_dive(void);
+#define current_dive (dive_table.dives[selected_dive])
+
#endif