diff options
Diffstat (limited to 'html/edit/012-editor-undo.mu.html')
-rw-r--r-- | html/edit/012-editor-undo.mu.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html index 97238c64..1d78409b 100644 --- a/html/edit/012-editor-undo.mu.html +++ b/html/edit/012-editor-undo.mu.html @@ -197,7 +197,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color typing<span class="Special"> <- </span>put typing, <span class="Constant">after-column:offset</span>, cursor-column typing<span class="Special"> <- </span>put typing, <span class="Constant">after-top-of-screen:offset</span>, top-after *op<span class="Special"> <- </span>merge <span class="Constant">0/insert-operation</span>, typing - <span class="muControl">break</span> <span class="Constant">+done-adding-insert-operation:label</span> + <span class="muControl">break</span> +done-adding-insert-operation <span class="Delimiter">}</span> <span class="Comment"># if not, create a new operation</span> insert-from:&:duplex-list:char<span class="Special"> <- </span>next cursor-before @@ -777,7 +777,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color move<span class="Special"> <- </span>put move, <span class="Constant">after-column:offset</span>, cursor-column move<span class="Special"> <- </span>put move, <span class="Constant">after-top-of-screen:offset</span>, top-after *op<span class="Special"> <- </span>merge <span class="Constant">1/move-operation</span>, move - <span class="muControl">break</span> <span class="Constant">+done-adding-move-operation:label</span> + <span class="muControl">break</span> +done-adding-move-operation <span class="Delimiter">}</span> op:&:operation<span class="Special"> <- </span>new <span class="Constant">operation:type</span> *op<span class="Special"> <- </span>merge <span class="Constant">1/move-operation</span>, cursor-row-before, cursor-column-before, top-before, cursor-row/after, cursor-column/after, top-after, undo-coalesce-tag @@ -1678,7 +1678,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color deletion<span class="Special"> <- </span>put deletion, <span class="Constant">after-column:offset</span>, cursor-column deletion<span class="Special"> <- </span>put deletion, <span class="Constant">after-top-of-screen:offset</span>, top-after *op<span class="Special"> <- </span>merge <span class="Constant">2/delete-operation</span>, deletion - <span class="muControl">break</span> <span class="Constant">+done-adding-backspace-operation:label</span> + <span class="muControl">break</span> +done-adding-backspace-operation <span class="Delimiter">}</span> <span class="Comment"># if not, create a new operation</span> op:&:operation<span class="Special"> <- </span>new <span class="Constant">operation:type</span> @@ -1905,7 +1905,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color deletion<span class="Special"> <- </span>put deletion, <span class="Constant">after-column:offset</span>, cursor-column deletion<span class="Special"> <- </span>put deletion, <span class="Constant">after-top-of-screen:offset</span>, top-after *op<span class="Special"> <- </span>merge <span class="Constant">2/delete-operation</span>, deletion - <span class="muControl">break</span> <span class="Constant">+done-adding-delete-operation:label</span> + <span class="muControl">break</span> +done-adding-delete-operation <span class="Delimiter">}</span> <span class="Comment"># if not, create a new operation</span> op:&:operation<span class="Special"> <- </span>new <span class="Constant">operation:type</span> |