diff options
Diffstat (limited to 'edit/012-editor-undo.mu')
-rw-r--r-- | edit/012-editor-undo.mu | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/edit/012-editor-undo.mu b/edit/012-editor-undo.mu index ecc0707d..c69e6c82 100644 --- a/edit/012-editor-undo.mu +++ b/edit/012-editor-undo.mu @@ -74,7 +74,7 @@ after <handle-special-character> [ redo <- push op, redo *editor <- put *editor, redo:offset, redo <handle-undo> - return screen/same-as-ingredient:0, editor/same-as-ingredient:1, 1/go-render + return screen, editor, 1/go-render } ] @@ -92,7 +92,7 @@ after <handle-special-character> [ undo <- push op, undo *editor <- put *editor, undo:offset, undo <handle-redo> - return screen/same-as-ingredient:0, editor/same-as-ingredient:1, 1/go-render + return screen, editor, 1/go-render } ] @@ -206,7 +206,6 @@ def add-operation editor:&:editor, op:&:operation -> editor:&:editor [ redo:&:list:&:operation <- get *editor, redo:offset redo <- copy 0 *editor <- put *editor, redo:offset, redo - return editor/same-as-ingredient:0 ] after <handle-undo> [ |