about summary refs log tree commit diff stats
path: root/html/edit/006-sandbox-copy.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-03-12 00:31:55 -0800
committerKartik K. Agaram <vc@akkartik.com>2017-03-12 00:34:02 -0800
commit2c53c3d0a921aec9825946be8dc37eff95b95485 (patch)
tree598e12608182300a97529082e317b36373ce6a36 /html/edit/006-sandbox-copy.mu.html
parent465229a22a68f9c5cb94ba7853c44328f1bf85c1 (diff)
downloadmu-2c53c3d0a921aec9825946be8dc37eff95b95485.tar.gz
3789
I accidentally got rid of git snapshotting of lessons back when I switched
to testable file primitives last December (commit 3705).

>:-(

Bringing it back now, hopefully better. The improvement is that there's
now at most one commit every time we hit F4.

This change adds yet another reason that running `mu` from a different
directory is just not supported.
Diffstat (limited to 'html/edit/006-sandbox-copy.mu.html')
-rw-r--r--html/edit/006-sandbox-copy.mu.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html
index bc8aebb2..9cfcc416 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">&lt;-</span> get *first-sandbox, <span class="Constant">left:offset</span>
 <span id="L150" class="LineNr">150 </span>  sandbox-right-margin:num <span class="Special">&lt;-</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">&lt;-</span> <a href='005-sandbox.mu.html#L339'>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">&lt;-</span> <a href='005-sandbox.mu.html#L341'>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">&lt;-</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>