private void SaveApplicationOptions()
{
// Update the options from the UI.
AppOptions.ProjectFilename = ProjectBrowser.ProjectFilename;
AppOptions.ProjectCol0Width = ProjectBrowser.TreeView.Columns[0].Width;
AppOptions.ProjectCol1Width = ProjectBrowser.TreeView.Columns[1].Width;
AppOptions.ProjectCol2Width = ProjectBrowser.TreeView.Columns[2].Width;
AppOptions.ProjectCol3Width = ProjectBrowser.TreeView.Columns[3].Width;
// Update the options from the plugins.
PluginManager.GetAllOptions(
AppOptions.PluginOptions,
AppOptions.PluginParserOptions);
string appConfigFilename = Application.ExecutablePath + ".xml";
try
{
Hwd.Serialization.Encoder encoder = new Hwd.Serialization.Encoder();
string s = encoder.Encode(AppOptions);
File.WriteAllText(appConfigFilename, s);
}
catch (Hwd.Serialization.SerializationException exc)
{
_logView.LogExcStr(exc, "Failed serializing application options");
}
}
private void SaveApplicationOptions()
{
// Update the options from the UI.
AppOptions.ProjectFilename = ProjectBrowser.ProjectFilename;
AppOptions.ProjectCol0Width = ProjectBrowser.TreeView.Columns[0].Width;
AppOptions.ProjectCol1Width = ProjectBrowser.TreeView.Columns[1].Width;
AppOptions.ProjectCol2Width = ProjectBrowser.TreeView.Columns[2].Width;
AppOptions.ProjectCol3Width = ProjectBrowser.TreeView.Columns[3].Width;
// Update the options from the plugins.
PluginManager.GetAllOptions(
AppOptions.PluginOptions,
AppOptions.PluginParserOptions);
string appConfigFilename = Application.ExecutablePath + ".xml";
try
{
Hwd.Serialization.Encoder encoder = new Hwd.Serialization.Encoder();
string s = encoder.Encode(AppOptions);
File.WriteAllText(appConfigFilename, s);
}
catch (Hwd.Serialization.SerializationException exc)
{
_logView.LogExcStr(exc, "Failed serializing application options");
}
}
