Update preference saving for numeric values

This does the "don't save defaults" for numeric values too.

Also, move the preferences loading/saving to a new "prefs.c" file.

Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>

1 files changed, 6 insertions, 0 deletions

diff --git a/pref.h b/pref.h
index 1804b3e5d..18a648032 100644
--- a/pref.h
+++ b/pref.h
@@ -45,4 +45,10 @@ extern int subsurface_get_conf_bool(char *name);
 extern void subsurface_flush_conf(void);
 extern void subsurface_close_conf(void);
 
+/* Misc preferences - should we have defaults for these too? */
+extern const char *divelist_font;
+
+extern void load_preferences(void);
+extern void save_preferences(void);
+
 #endif /* PREF_H */