|
private DocumentHandleUndone ( object sender, |
||
| sender | object | |
| e | ||
| return | void | |
void DocumentHandleUndone (object sender, TextDocument.UndoOperationEventArgs e)
{
var state = e.Operation.Tag as TextEditorDataState;
if (state != null)
state.UndoState ();
}
