public void SaveSettings(RichTextBox rtb)
{
try
{
PutSetting("BaseIEName", BaseIEName);
PutSetting("PopupIEName", PopupIEName);
PutSetting("TypingTime", TypingTime.ToString());
PutSetting("FindPattern", FindPattern);
PutSetting("WarnWhenUnsaved", WarnWhenUnsaved ? 1 : 0);
PutSetting("HideDOSWindow", HideDOSWindow ? 1 : 0);
PutSetting("CompilePath", CompilePath);
PutSetting("DOMHighlightColor", DOMHighlightColor.ToKnownColor().ToString());
PutSetting("CodeLanguage", System.Enum.GetName(typeof(CodeLanguages), CodeLanguage));
PutSetting("ScriptFormatting", System.Enum.GetName(typeof(ScriptFormats), ScriptFormatting));
PutSetting("FontName", rtb.Font.FontFamily.Name);
PutSetting("FontSize", rtb.Font.Size.ToString());
PutSetting("RunCount", ++RunCount);
PutSetting("DefaultSaveTemplate", DefaultSaveTemplate);
PutSetting("DefaultRunTemplate", DefaultRunTemplate);
PutSetting("DefaultCompileTemplate", DefaultCompileTemplate);
}
catch (Exception ex)
{
MessageBox.Show(string.Format("Error saving settings: {0}", ex.Message));
}
}