//-----------------------------------
//「オプション」メニュー
// "Option" menu
//-----------------------------------
private void menuOption_Click(object sender, EventArgs e)
{
Form3 frm3 = new Form3();
frm3.ShowDialog();
frm3.Dispose();
_MarkdownSyntaxKeywordAarray = MarkdownSyntaxKeyword.CreateKeywordList(); //キーワードリストの更新
if (backgroundWorker2.IsBusy == false)
{
//SyntaxHightlighter on BackgroundWorker
backgroundWorker2.RunWorkerAsync(richTextBox1.Text);
}
//プレビュー間隔を更新
if (MarkDownSharpEditor.AppSettings.Instance.AutoBrowserPreviewInterval > 0)
{
timer1.Interval = MarkDownSharpEditor.AppSettings.Instance.AutoBrowserPreviewInterval;
}
}
//-----------------------------------
//「オプション」メニュー
//-----------------------------------
private void menuOption_Click(object sender, EventArgs e)
{
Form3 frm3 = new Form3();
frm3.ShowDialog();
frm3.Dispose();
RefreshSyntaxHightlighterKeyword(); //キーワードリストの更新
SyntaxHightlighterWidthRegex(0); //色分け
//設定を再読込
MarkDownSharpEditor.AppSettings.Instance.ReadFromXMLFile();
//プレビュー間隔を更新
if (MarkDownSharpEditor.AppSettings.Instance.AutoBrowserPreviewInterval > -1)
{
timer1.Interval = MarkDownSharpEditor.AppSettings.Instance.AutoBrowserPreviewInterval;
}
}