diff options
author | Jan Mulder <jlmulder@xs4all.nl> | 2017-12-21 09:05:08 +0100 |
---|---|---|
committer | Jan Mulder <jlmulder@xs4all.nl> | 2017-12-21 15:11:15 +0100 |
commit | e4530cd5ef38e6120f451daf1a758b38b70a6f1c (patch) | |
tree | b3813d7022aacd7eda43945045cb66d407b66a35 /core | |
parent | 28ae35e7df7c32ef6070474ad0e55c5a473f701d (diff) | |
download | subsurface-e4530cd5ef38e6120f451daf1a758b38b70a6f1c.tar.gz |
cleanup: remove empty function
subsurface_OS_pref_setup() is not not used. Remove it.
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to 'core')
-rw-r--r-- | core/linux.c | 5 | ||||
-rw-r--r-- | core/pref.h | 1 | ||||
-rw-r--r-- | core/subsurfacestartup.c | 1 |
3 files changed, 0 insertions, 7 deletions
diff --git a/core/linux.c b/core/linux.c index 2f8d9d832..d60094a0e 100644 --- a/core/linux.c +++ b/core/linux.c @@ -18,11 +18,6 @@ const char linux_system_divelist_default_font[] = "Sans"; const char *system_divelist_default_font = linux_system_divelist_default_font; double system_divelist_default_font_size = -1.0; -void subsurface_OS_pref_setup(void) -{ - // nothing -} - bool subsurface_ignore_font(const char *font) { // there are no old default fonts to ignore diff --git a/core/pref.h b/core/pref.h index d25115c8e..6c06f5669 100644 --- a/core/pref.h +++ b/core/pref.h @@ -188,7 +188,6 @@ extern double system_divelist_default_font_size; extern const char *system_default_directory(void); extern const char *system_default_filename(); extern bool subsurface_ignore_font(const char *font); -extern void subsurface_OS_pref_setup(); extern void copy_prefs(struct preferences *src, struct preferences *dest); #ifdef __cplusplus diff --git a/core/subsurfacestartup.c b/core/subsurfacestartup.c index cb3ca6069..7f086e4fc 100644 --- a/core/subsurfacestartup.c +++ b/core/subsurfacestartup.c @@ -290,7 +290,6 @@ void setup_system_prefs(void) { const char *env; - subsurface_OS_pref_setup(); default_prefs.divelist_font = strdup(system_divelist_default_font); default_prefs.font_size = system_divelist_default_font_size; |