return Settings.IsModified ();
}
- [MonoTODO ("file path? do we use a System.Configuration api for opening it? do we keep it open? do we open it writable?")]
+ [MonoInternalNote ("file path? do we use a System.Configuration api for opening it? do we keep it open? do we open it writable?")]
protected internal override void DeserializeElement (XmlReader reader, bool serializeCollectionKey)
{
/* need to do this so we pick up the File attribute */
if (File != "") {
try {
Stream s = System.IO.File.OpenRead (File);
- XmlReader subreader = new XmlTextReader (s);
+ XmlReader subreader = new ConfigXmlTextReader (s, File);
base.DeserializeElement (subreader, serializeCollectionKey);
s.Close ();
}