X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=option.h;fp=option.h;h=a4cff3b17d10d20c0f06a5d557ce56d5302a5d8e;hb=5eed4adb3552562329c0b0b460c8851efb1a38bb;hp=1d5eab0ec2bb2f883c31cad21cf861358f0af500;hpb=446bfd706349c3e1f19916a16558a2f4f7dc8e54;p=polyglot.git

diff --git a/option.h b/option.h
index 1d5eab0..a4cff3b 100644
--- a/option.h
+++ b/option.h
@@ -7,6 +7,7 @@
 // includes
 
 #include "util.h"
+#include "ini.h"
 
 // defines
 
@@ -65,6 +66,10 @@ extern double       option_get_double   (option_list_t *option, const char var[]
 extern int          option_get_int      (option_list_t *option, const char var[]);
 extern const char * option_get_string   (option_list_t *option, const char var[]);
 
+extern void         option_from_ini     (option_list_t *option,
+                                         ini_t *ini,
+                                         const char *section);
+
 extern bool         option_is_ok        (const option_list_t *option);
 extern option_t *   option_find         (option_list_t *option, const char var[]);
 extern void         option_clear        (option_list_t *option);