1 files changed, 2 insertions, 1 deletions
diff --git a/pref.h b/pref.h
index 9076eff99..7febf408c 100644
--- a/pref.h
+++ b/pref.h
@@ -80,8 +80,9 @@ extern struct preferences prefs, default_prefs;
 #define PP_GRAPHS_ENABLED (prefs.pp_graphs.po2 || prefs.pp_graphs.pn2 || prefs.pp_graphs.phe)
 
 extern const char *system_divelist_default_font;
-extern const int system_divelist_default_font_size;
+extern double system_divelist_default_font_size;
 extern const char *system_default_filename();
+extern bool subsurface_ignore_font(const char *font);
 extern void subsurface_OS_pref_setup();
 
 #ifdef __cplusplus