From e8a896b64d0abb7d85d7aefb6ba551a22f720ffd Mon Sep 17 00:00:00 2001 From: Linus Torvalds Date: Fri, 11 Jan 2013 10:14:10 -0800 Subject: 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 Signed-off-by: Dirk Hohndel --- display-gtk.h | 1 - 1 file changed, 1 deletion(-) (limited to 'display-gtk.h') diff --git a/display-gtk.h b/display-gtk.h index e083a3e96..b889ff1a2 100644 --- a/display-gtk.h +++ b/display-gtk.h @@ -32,7 +32,6 @@ extern void subsurface_ui_setup(GtkSettings *settings, GtkWidget *menubar, extern void quit(GtkWidget *w, gpointer data); extern gboolean on_delete(GtkWidget* w, gpointer data); -extern const char *divelist_font; extern void set_divelist_font(const char *); extern void import_files(GtkWidget *, gpointer); -- cgit v1.2.3-70-g09d2