diff options
Diffstat (limited to 'display-gtk.h')
| -rw-r--r-- | display-gtk.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/display-gtk.h b/display-gtk.h index dd7e2c4a0..9d0ea4ed3 100644 --- a/display-gtk.h +++ b/display-gtk.h @@ -49,8 +49,7 @@ extern const char *subsurface_USB_name(void); extern const char *subsurface_icon_name(void); extern void subsurface_ui_setup(GtkSettings *settings, GtkWidget *menubar, GtkWidget *vbox, GtkUIManager *ui_manager); - -extern const char *divelist_font; +extern void quit(GtkWidget *w, gpointer data); extern visible_cols_t visible_cols; |