private void FromSeverityTextBox_TextChanged(object sender, EventArgs e) { setFilters(fromSeverityToolStripMenuItem, severity_filters); }