Proposal : First version of an ExternalUndoBufferInterface#112

Open

berdal84 wants to merge 5 commits intoBalazsJako:masterfrom

berdal84:feat/undo-external

Commits on Feb 13, 2020

First version of an ExternalUndoInterface
berdal84
committed

Commits on Feb 15, 2020

fix(InsertText): an Undo record was not added when inserting a text
berdal84
committed
fix(ExternalUndoBufferInterface): simplified declaration.
berdal84
committed
fix(TextEditor): GetSelectionXXX now returns a new object instead of a
berdal84
committed

Commits on Feb 16, 2020

InsertText now takes a select argument to select the inserted text.
berdal84
committed