1 files changed, 3 insertions, 0 deletions
diff --git a/display.h b/display.h
index bc97119ff..b5b0f919b 100644
--- a/display.h
+++ b/display.h
@@ -7,6 +7,9 @@
 
 extern GtkWidget *main_window;
 
+extern const char *divelist_font;
+extern void set_divelist_font(const char *);
+
 extern void import_dialog(GtkWidget *, gpointer);
 extern void report_error(GError* error);