public void Redo()
{
if (Document.ReadOnly) {
return;
}
if (Document.UndoStack.CanRedo) {
BeginUpdate();
Document.UndoStack.Redo();
Document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.WholeTextArea));
this.primaryTextArea.TextArea.UpdateMatchingBracket();
if (secondaryTextArea != null) {
this.secondaryTextArea.TextArea.UpdateMatchingBracket();
}
EndUpdate();
}
}