private void main_FormClosing(object sender, FormClosingEventArgs e)
{
try
{
//backup current state
if (Save.ConfigFileManager.ExternalToolConfigs == null || Save.ConfigFileManager.ExternalToolConfigs.Count < 1)
{
Save.ConfigFileManager.ExternalToolConfigs = myExTool.ExternalToolConfig;
}
Save.ConfigFileManager.ShowDebugWindow = showDebugWindowToolStripMenuItem.Checked;
Save.ConfigFileManager.AutoChecker = configCheckerToolStripMenuItem.Checked;
Save.ConfigFileManager.Save(Save.ConfigFileManager.ConfigFileFullName);
if (myGPrc != null)
{
myGPrc.InterupRefresh();
}
if (myExTool != null)
{
myExTool.Dispose();
myExTool = null;
}
}
catch (Exception ex)
{
Log.cLogger.Log(ex);
}
}
