diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-06-25 13:04:04 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-06-25 13:04:04 -0700 |
commit | e3c9e1536154e0dee2c15b556a2a6b9f6524e114 (patch) | |
tree | 45afca3c6b1710188a25089717d1200d3c022932 /html/edit/011-errors.mu.html | |
parent | dc5f112c3ea8aff1a389513fa6c33d88fab07420 (diff) | |
download | mu-e3c9e1536154e0dee2c15b556a2a6b9f6524e114.tar.gz |
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.
Diffstat (limited to 'html/edit/011-errors.mu.html')
-rw-r--r-- | html/edit/011-errors.mu.html | 12 |
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:&:editor <span class="Special"><-</span> get *env, <span class="Constant">recipes:offset</span> -<span id="L12" class="LineNr"> 12 </span> in:text <span class="Special"><-</span> <a href='005-sandbox.mu.html#L675'>editor-contents</a> recipes +<span id="L12" class="LineNr"> 12 </span> in:text <span class="Special"><-</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"><-</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"><-</span> reload in <span id="L15" class="LineNr"> 15 </span> *env <span class="Special"><-</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"><-</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"><-</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"><-</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"><-</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"><-</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"><-</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"><-</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"><-</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'><run-sandboxes-end></a></span> [ +<span id="L54" class="LineNr"> 54 </span><span class="muRecipe">before</span> <span class="Constant"><a href='005-sandbox.mu.html#L190'><run-sandboxes-end></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"><-</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"><-</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"><-</span> to-text error-index <span id="L70" class="LineNr"> 70 </span> <span class="Conceal">¦</span> status:text <span class="Special"><-</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"><-</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"><-</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"><-</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"><-</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> |