void ChangedRadioButtonCheckedChanged(object sender, EventArgs e)
{
OptionsReader.SetHighlightOption("changed");
highlightRangeLabel.Text = changedDescription;
}
void VisibleRadioButtonCheckedChanged(object sender, EventArgs e)
{
OptionsReader.SetHighlightOption("visible");
highlightRangeLabel.Text = visibleDescription;
}