Make the divelist font configurable

Instead of the hardcoding to "Sans 8", allow people to set it in the
preferences.

Also, make the unit choice be a frame in the preferences dialog instead.

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>

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);