+
+Config::Option::Option(const Feature &f):
+ Feature(f),
+ value(default_value)
+{
+ name = "with_"+name;
+}
+
+
+Config::Loader::Loader(Config &c):
+ DataFile::ObjectLoader<Config>(c)
+{
+ add("option", &Loader::option);
+}
+
+void Config::Loader::option(const string &n, const string &v)
+{
+ if(obj.options.count(n))
+ obj.set_option(n, v);
+ else
+ obj.pending_options[n] = v;
+}