2011-08-31 10:20:46 -07:00
|
|
|
#ifndef DISPLAY_H
|
|
|
|
#define DISPLAY_H
|
|
|
|
|
|
|
|
#include <gtk/gtk.h>
|
|
|
|
#include <gdk/gdk.h>
|
|
|
|
#include <cairo.h>
|
|
|
|
|
2011-09-09 19:46:53 -07:00
|
|
|
extern GtkWidget *main_window;
|
|
|
|
|
2011-09-04 19:01:30 +02:00
|
|
|
extern GtkWidget *dive_profile_widget(void);
|
2011-08-31 12:09:19 -07:00
|
|
|
extern GtkWidget *dive_info_frame(void);
|
2011-09-04 19:01:30 +02:00
|
|
|
extern GtkWidget *extended_dive_info_widget(void);
|
2011-09-09 17:10:17 -07:00
|
|
|
extern GtkWidget *equipment_widget(void);
|
|
|
|
|
2011-08-31 11:10:17 -07:00
|
|
|
extern void repaint_dive(void);
|
2011-08-31 10:20:46 -07:00
|
|
|
|
|
|
|
#endif
|