diff options
Diffstat (limited to 'edit/012-editor-undo.mu')
| -rw-r--r-- | edit/012-editor-undo.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/edit/012-editor-undo.mu b/edit/012-editor-undo.mu index 42d325bd..871f6c74 100644 --- a/edit/012-editor-undo.mu +++ b/edit/012-editor-undo.mu @@ -206,7 +206,7 @@ def add-operation editor:&:editor, op:&:operation -> editor:&:editor [ undo <- push op undo *editor <- put *editor, undo:offset, undo redo:&:list:&:operation <- get *editor, redo:offset - redo <- copy 0 + redo <- copy null *editor <- put *editor, redo:offset, redo ] |