3959

Don't unnecessarily write sandboxes to disk on F4.

This seems to save almost 20% time when processing a large lesson
directory with 36 sandboxes.

1 files changed, 6 insertions, 6 deletions

diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html
index 0f726e99..f811408f 100644
--- a/html/edit/011-errors.mu.html
+++ b/html/edit/011-errors.mu.html
@@ -72,14 +72,14 @@ if ('onhashchange' in window) {
 <span id="L9" class="LineNr">  9 </span>  <span class="Constant">local-scope</span>
 <span id="L10" class="LineNr"> 10 </span>  <span class="Constant">load-ingredients</span>
 <span id="L11" class="LineNr"> 11 </span>  recipes:&amp;:editor <span class="Special">&lt;-</span> get *env, <span class="Constant">recipes:offset</span>
-<span id="L12" class="LineNr"> 12 </span>  in:text <span class="Special">&lt;-</span> <a href='005-sandbox.mu.html#L675'>editor-contents</a> recipes
+<span id="L12" class="LineNr"> 12 </span>  in:text <span class="Special">&lt;-</span> <a href='005-sandbox.mu.html#L686'>editor-contents</a> recipes
 <span id="L13" class="LineNr"> 13 </span>  <a href='../088file.mu.html#L11'>resources</a> <span class="Special">&lt;-</span> <a href='../088file.mu.html#L127'>dump</a> <a href='../088file.mu.html#L11'>resources</a>, <span class="Constant">[lesson/recipes.mu]</span>, in
 <span id="L14" class="LineNr"> 14 </span>  recipe-errors:text <span class="Special">&lt;-</span> reload in
 <span id="L15" class="LineNr"> 15 </span>  *env <span class="Special">&lt;-</span> put *env, <span class="Constant">recipe-errors:offset</span>, recipe-errors
 <span id="L16" class="LineNr"> 16 </span>  <span class="Comment"># if recipe editor has errors, stop</span>
 <span id="L17" class="LineNr"> 17 </span>  <span class="Delimiter">{</span>
 <span id="L18" class="LineNr"> 18 </span>  <span class="Conceal">¦</span> <span class="muControl">break-unless</span> recipe-errors
-<span id="L19" class="LineNr"> 19 </span>  <span class="Conceal">¦</span> <a href='005-sandbox.mu.html#L219'>update-status</a> <a href='../081print.mu.html#L16'>screen</a>, <span class="Constant">[errors found     ]</span>, <span class="Constant">1/red</span>
+<span id="L19" class="LineNr"> 19 </span>  <span class="Conceal">¦</span> <a href='005-sandbox.mu.html#L220'>update-status</a> <a href='../081print.mu.html#L16'>screen</a>, <span class="Constant">[errors found     ]</span>, <span class="Constant">1/red</span>
 <span id="L20" class="LineNr"> 20 </span>  <span class="Conceal">¦</span> errors-found? <span class="Special">&lt;-</span> copy <span class="Constant">1/true</span>
 <span id="L21" class="LineNr"> 21 </span>  <span class="Conceal">¦</span> <span class="muControl">return</span>
 <span id="L22" class="LineNr"> 22 </span>  <span class="Delimiter">}</span>
@@ -94,7 +94,7 @@ if ('onhashchange' in window) {
 <span id="L31" class="LineNr"> 31 </span>  <span class="Conceal">¦</span> left:num <span class="Special">&lt;-</span> get *recipes, <span class="Constant">left:offset</span>
 <span id="L32" class="LineNr"> 32 </span>  <span class="Conceal">¦</span> right:num <span class="Special">&lt;-</span> get *recipes, <span class="Constant">right:offset</span>
 <span id="L33" class="LineNr"> 33 </span>  <span class="Conceal">¦</span> row:num <span class="Special">&lt;-</span> get *recipes, <span class="Constant">bottom:offset</span>
-<span id="L34" class="LineNr"> 34 </span>  <span class="Conceal">¦</span> row, <a href='../081print.mu.html#L16'>screen</a> <span class="Special">&lt;-</span> <a href='005-sandbox.mu.html#L399'>render-text</a> <a href='../081print.mu.html#L16'>screen</a>, recipe-errors, left, right, <span class="Constant">1/red</span>, row
+<span id="L34" class="LineNr"> 34 </span>  <span class="Conceal">¦</span> row, <a href='../081print.mu.html#L16'>screen</a> <span class="Special">&lt;-</span> <a href='005-sandbox.mu.html#L401'>render-text</a> <a href='../081print.mu.html#L16'>screen</a>, recipe-errors, left, right, <span class="Constant">1/red</span>, row
 <span id="L35" class="LineNr"> 35 </span>  <span class="Conceal">¦</span> <span class="Comment"># draw dotted line after recipes</span>
 <span id="L36" class="LineNr"> 36 </span>  <span class="Conceal">¦</span> <a href='002-typing.mu.html#L1116'>draw-horizontal</a> <a href='../081print.mu.html#L16'>screen</a>, row, left, right, <span class="Constant">9480/horizontal-dotted</span>
 <span id="L37" class="LineNr"> 37 </span>  <span class="Conceal">¦</span> row <span class="Special">&lt;-</span> add row,<span class="Constant"> 1</span>
@@ -114,7 +114,7 @@ if ('onhashchange' in window) {
 <span id="L51" class="LineNr"> 51 </span>  *env <span class="Special">&lt;-</span> put *env, <span class="Constant">error-index:offset</span>,<span class="Constant"> -1</span>
 <span id="L52" class="LineNr"> 52 </span>]
 <span id="L53" class="LineNr"> 53 </span>
-<span id="L54" class="LineNr"> 54 </span><span class="muRecipe">before</span> <span class="Constant"><a href='005-sandbox.mu.html#L189'>&lt;run-sandboxes-end&gt;</a></span> [
+<span id="L54" class="LineNr"> 54 </span><span class="muRecipe">before</span> <span class="Constant"><a href='005-sandbox.mu.html#L190'>&lt;run-sandboxes-end&gt;</a></span> [
 <span id="L55" class="LineNr"> 55 </span>  <span class="Delimiter">{</span>
 <span id="L56" class="LineNr"> 56 </span>  <span class="Conceal">¦</span> error-index:num <span class="Special">&lt;-</span> get *env, <span class="Constant">error-index:offset</span>
 <span id="L57" class="LineNr"> 57 </span>  <span class="Conceal">¦</span> sandboxes-completed-successfully?:bool <span class="Special">&lt;-</span> equal error-index,<span class="Constant"> -1</span>
@@ -131,7 +131,7 @@ if ('onhashchange' in window) {
 <span id="L68" class="LineNr"> 68 </span>  <span class="Conceal">¦</span> <span class="muControl">break-if</span> sandboxes-completed-successfully?
 <span id="L69" class="LineNr"> 69 </span>  <span class="Conceal">¦</span> error-index-text:text <span class="Special">&lt;-</span> to-text error-index
 <span id="L70" class="LineNr"> 70 </span>  <span class="Conceal">¦</span> status:text <span class="Special">&lt;-</span> <a href='../061text.mu.html#L521'>interpolate</a> <span class="Constant">[errors found (_)    ]</span>, error-index-text
-<span id="L71" class="LineNr"> 71 </span>  <span class="Conceal">¦</span> <a href='005-sandbox.mu.html#L219'>update-status</a> <a href='../081print.mu.html#L16'>screen</a>, status, <span class="Constant">1/red</span>
+<span id="L71" class="LineNr"> 71 </span>  <span class="Conceal">¦</span> <a href='005-sandbox.mu.html#L220'>update-status</a> <a href='../081print.mu.html#L16'>screen</a>, status, <span class="Constant">1/red</span>
 <span id="L72" class="LineNr"> 72 </span>  <span class="Delimiter">}</span>
 <span id="L73" class="LineNr"> 73 </span>]
 <span id="L74" class="LineNr"> 74 </span>
@@ -170,7 +170,7 @@ if ('onhashchange' in window) {
 <span id="L107" class="LineNr">107 </span>  <span class="Conceal">¦</span> sandbox-errors:text <span class="Special">&lt;-</span> get *sandbox, <span class="Constant">errors:offset</span>
 <span id="L108" class="LineNr">108 </span>  <span class="Conceal">¦</span> <span class="muControl">break-unless</span> sandbox-errors
 <span id="L109" class="LineNr">109 </span>  <span class="Conceal">¦</span> *sandbox <span class="Special">&lt;-</span> put *sandbox, <span class="Constant">response-starting-row-on-screen:offset</span>,<span class="Constant"> 0</span>  <span class="Comment"># no response</span>
-<span id="L110" class="LineNr">110 </span>  <span class="Conceal">¦</span> row, <a href='../081print.mu.html#L16'>screen</a> <span class="Special">&lt;-</span> <a href='005-sandbox.mu.html#L399'>render-text</a> <a href='../081print.mu.html#L16'>screen</a>, sandbox-errors, left, right, <span class="Constant">1/red</span>, row
+<span id="L110" class="LineNr">110 </span>  <span class="Conceal">¦</span> row, <a href='../081print.mu.html#L16'>screen</a> <span class="Special">&lt;-</span> <a href='005-sandbox.mu.html#L401'>render-text</a> <a href='../081print.mu.html#L16'>screen</a>, sandbox-errors, left, right, <span class="Constant">1/red</span>, row
 <span id="L111" class="LineNr">111 </span>  <span class="Conceal">¦</span> <span class="Comment"># don't try to print anything more for this sandbox</span>
 <span id="L112" class="LineNr">112 </span>  <span class="Conceal">¦</span> <span class="muControl">jump</span> <span class="Constant">+render-sandbox-end</span>
 <span id="L113" class="LineNr">113 </span>  <span class="Delimiter">}</span>