public UndoRecord(string added, Coordinates addedStart, Coordinates addedEnd, string removed, Coordinates removedStart, Coordinates removedEnd, EditorState before, EditorState after)
{
Added = added;
AddedStart = addedStart;
AddedEnd = addedEnd;
Removed = removed;
RemovedStart = removedStart;
RemovedEnd = removedEnd;
Before = before;
After = after;
}
public UndoRecord(EditorState baseState)
{
Before = baseState;
}
