Make the divelist font configurable

[ext/subsurface.git] / display.h

diff --git a/display.h b/display.h
index bc97119ff71f20040f40b2b9a71e68ab4312fb02..b5b0f919bd5e112ce09218f472efa43684638740 100644 (file)
--- 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);