diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-06-17 11:20:53 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-06-17 15:57:37 -0700 |
| commit | 01ce563dfe3e6cf58337708b9dbb60a8a99fa0f2 (patch) | |
| tree | 696fce7bb207e77952d10b7358f4ce00faed3874 /edit/012-editor-undo.mu | |
| parent | dd66068298b0a11f2a1f195376cba98e0c8570b5 (diff) | |
| download | mu-01ce563dfe3e6cf58337708b9dbb60a8a99fa0f2.tar.gz | |
4262 - literal 'null'
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 ] |