public void End(RichTextBox textBox)
{
textBox.Select(oldPosition.StartIndex, oldPosition.Length);
ColorParser.ResumeTextBoxUpdate(textBox);
textBox.Refresh();
}
public void Restore(RichTextBox textBox)
{
ColorParser.StopTextBoxUpdate(textBox);
colorSaver.Restore(textBox);
backColorSaver.Restore(textBox);
}
public void Begin(RichTextBox textBox)
{
oldPosition = new Position(textBox.SelectionStart, textBox.SelectionLength);
ColorParser.StopTextBoxUpdate(textBox);
}
