diff options
| author |  Linus Torvalds <torvalds@linux-foundation.org> | 2013-01-11 10:14:10 -0800 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2013-01-11 12:19:34 -0800 |
| commit | e8a896b64d0abb7d85d7aefb6ba551a22f720ffd (patch) | |
| tree | 19213a00a86d7c88a887d4a5a28c9218b0498e8f /display-gtk.h | |
| parent | c4ae58d589bdf315223c41716ca4b0ae747a8498 (diff) | |
| download | subsurface-e8a896b64d0abb7d85d7aefb6ba551a22f720ffd.tar.gz | |
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>
Diffstat (limited to 'display-gtk.h')
| -rw-r--r-- | display-gtk.h | 1 |
1 files changed, 0 insertions, 1 deletions
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); |