private void btnEditRedlineText_Click(object sender, EventArgs e)
{
string label = TextPrompt.GetValue(Strings.TitleEditRedlineText, Strings.SpecifyRedlineText);
if (label != null)
{
var ids = GetSelectedRedlineIds();
_ed.UpdateRedlineText(label, ids);
//TODO: Full refresh of list is probably overkill
RefreshActiveRedlineList(true);
}
}
