private void optionsToolStripMenuItem_Click(object sender, EventArgs e)
{
if (optionsDialog.ShowDialog() == DialogResult.OK)
{
foreach (TabPage tb in tabControl1.TabPages)
{
if (tb is EditorTabPage)
{
EditorTabPage etb = tb as EditorTabPage;
etb.ReloadSettings();
}
}
}
}