private void allCaseSensitiveToolStripMenuItem_Click(object sender, EventArgs e) { ChangeChecked("casesensitive", true); }