diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 16:27:36 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 16:27:36 -0700 |
| commit | c02478c4010d54acfaed0318a2c2c689b468e92e (patch) | |
| tree | 8cdc5a15f685e4ef27205a59306f5781a10b3899 /html/edit/012-editor-undo.mu.html | |
| parent | 6a9d8191dfb5606f8d3630375f3ec045bd534ba3 (diff) | |
| download | mu-c02478c4010d54acfaed0318a2c2c689b468e92e.tar.gz | |
3558
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> |