Don't close config file when changing preferences

[ext/subsurface.git] / display-gtk.h

diff --git a/display-gtk.h b/display-gtk.h
index f12e4299661d2d7795db8e6a477f2310f960d8fa..5a76edce205e68315ed99ffb7d26dbd0fd989306 100644 (file)
--- a/display-gtk.h
+++ b/display-gtk.h
@@ -38,6 +38,7 @@ typedef enum {
 extern void subsurface_open_conf(void);
 extern void subsurface_set_conf(char *name, pref_type_t type, const void *value);
 extern const void *subsurface_get_conf(char *name, pref_type_t type);
+extern void subsurface_flush_conf(void);
 extern void subsurface_close_conf(void);
 
 extern const char *subsurface_USB_name(void);