about summary refs log tree commit diff stats
path: root/html/edit/012-editor-undo.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-12-03 23:25:40 -0800
committerKartik K. Agaram <vc@akkartik.com>2017-12-03 23:25:40 -0800
commit4a48bedcd1d708a43d43dc6259a4e45c52ea3d00 (patch)
tree85c1b7310cca932797d727a3de8da96eb175d8da /html/edit/012-editor-undo.mu.html
parentef7d834fdd826977cd8d43253052a7b8e1c5aa72 (diff)
downloadmu-4a48bedcd1d708a43d43dc6259a4e45c52ea3d00.tar.gz
4134 - 'input' = 'ingredient'
Diffstat (limited to 'html/edit/012-editor-undo.mu.html')
-rw-r--r--html/edit/012-editor-undo.mu.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html
index dcf95a50..0bda1aaf 100644
--- a/html/edit/012-editor-undo.mu.html
+++ b/html/edit/012-editor-undo.mu.html
@@ -264,7 +264,7 @@ if ('onhashchange' in window) {
 <span id="L201" class="LineNr"> 201 </span><span class="Comment"># moving the cursor can lose work on the undo stack.</span>
 <span id="L202" class="LineNr"> 202 </span><span class="muRecipe">def</span> <a href='012-editor-undo.mu.html#L202'>add-operation</a> editor:&amp;:editor, op:&amp;:<a href='012-editor-undo.mu.html#L5'>operation</a><span class="muRecipe"> -&gt; </span>editor:&amp;:editor [
 <span id="L203" class="LineNr"> 203 </span>  <span class="Constant">local-scope</span>
-<span id="L204" class="LineNr"> 204 </span>  <span class="Constant">load-ingredients</span>
+<span id="L204" class="LineNr"> 204 </span>  <span class="Constant">load-inputs</span>
 <span id="L205" class="LineNr"> 205 </span>  undo:&amp;:<a href='../064list.mu.html#L6'>list</a>:&amp;:<a href='012-editor-undo.mu.html#L5'>operation</a> <span class="Special">&lt;-</span> get *editor, <span class="Constant">undo:offset</span>
 <span id="L206" class="LineNr"> 206 </span>  undo <span class="Special">&lt;-</span> push op undo
 <span id="L207" class="LineNr"> 207 </span>  *editor <span class="Special">&lt;-</span> put *editor, <span class="Constant">undo:offset</span>, undo