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