| public static RaiseSettingsChanged ( ) : void | ||
| Результат | void | |
/// <summary>
/// Saves to an xml file
/// </summary>
public void Save()
{
Directory.CreateDirectory(Path.GetDirectoryName(AppPaths.SettingsPath));
// Directory.CreateDirectory(NaturalGroundingFolder);
using (var writer = new System.IO.StreamWriter(AppPaths.SettingsPath)) {
var serializer = new XmlSerializer(typeof(SettingsFile));
XmlSerializerNamespaces ns = new XmlSerializerNamespaces();
ns.Add("", "");
serializer.Serialize(writer, this, ns);
writer.Flush();
}
Settings.RaiseSettingsChanged();
}
