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/006-sandbox-copy.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/006-sandbox-copy.mu.html')
| -rw-r--r-- | html/edit/006-sandbox-copy.mu.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html index d6a56d6c..b81a07dc 100644 --- a/html/edit/006-sandbox-copy.mu.html +++ b/html/edit/006-sandbox-copy.mu.html @@ -210,7 +210,7 @@ if ('onhashchange' in window) { <span id="L148" class="LineNr">148 </span> assert first-sandbox, <span class="Constant">[!!]</span> <span id="L149" class="LineNr">149 </span> sandbox-left-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">left:offset</span> <span id="L150" class="LineNr">150 </span> sandbox-right-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">right:offset</span> -<span id="L151" class="LineNr">151 </span> _, _, copy-button-left:num, copy-button-right:num <span class="Special"><-</span> <a href='005-sandbox.mu.html#L379'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin +<span id="L151" class="LineNr">151 </span> _, _, copy-button-left:num, copy-button-right:num <span class="Special"><-</span> <a href='005-sandbox.mu.html#L381'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin <span id="L152" class="LineNr">152 </span> copy-button-vertical-area?:bool <span class="Special"><-</span> <a href='006-sandbox-copy.mu.html#L211'>within-range?</a> click-column, copy-button-left, copy-button-right <span id="L153" class="LineNr">153 </span> <span class="muControl">return-unless</span> copy-button-vertical-area?, <span class="Constant">0/false</span> <span id="L154" class="LineNr">154 </span> <span class="Comment"># finally, is sandbox editor empty?</span> @@ -430,7 +430,7 @@ if ('onhashchange' in window) { <span id="L368" class="LineNr">368 </span> assert first-sandbox, <span class="Constant">[!!]</span> <span id="L369" class="LineNr">369 </span> sandbox-left-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">left:offset</span> <span id="L370" class="LineNr">370 </span> sandbox-right-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">right:offset</span> -<span id="L371" class="LineNr">371 </span> _, _, _, _, recipe-button-left:num, recipe-button-right:num <span class="Special"><-</span> <a href='005-sandbox.mu.html#L379'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin +<span id="L371" class="LineNr">371 </span> _, _, _, _, recipe-button-left:num, recipe-button-right:num <span class="Special"><-</span> <a href='005-sandbox.mu.html#L381'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin <span id="L372" class="LineNr">372 </span> result <span class="Special"><-</span> <a href='006-sandbox-copy.mu.html#L211'>within-range?</a> click-column, recipe-button-left, recipe-button-right <span id="L373" class="LineNr">373 </span>] <span id="L374" class="LineNr">374 </span> |