diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-03-12 00:31:55 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-03-12 00:34:02 -0800 |
commit | 2c53c3d0a921aec9825946be8dc37eff95b95485 (patch) | |
tree | 598e12608182300a97529082e317b36373ce6a36 /html/edit/007-sandbox-delete.mu.html | |
parent | 465229a22a68f9c5cb94ba7853c44328f1bf85c1 (diff) | |
download | mu-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/007-sandbox-delete.mu.html')
-rw-r--r-- | html/edit/007-sandbox-delete.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html index 27a07309..541a6c02 100644 --- a/html/edit/007-sandbox-delete.mu.html +++ b/html/edit/007-sandbox-delete.mu.html @@ -154,7 +154,7 @@ if ('onhashchange' in window) { <span id="L92" class="LineNr"> 92 </span> assert first-sandbox, <span class="Constant">[!!]</span> <span id="L93" class="LineNr"> 93 </span> sandbox-left-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">left:offset</span> <span id="L94" class="LineNr"> 94 </span> sandbox-right-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">right:offset</span> -<span id="L95" class="LineNr"> 95 </span> _, _, _, _, delete-button-left:num <span class="Special"><-</span> <a href='005-sandbox.mu.html#L339'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin +<span id="L95" class="LineNr"> 95 </span> _, _, _, _, delete-button-left:num <span class="Special"><-</span> <a href='005-sandbox.mu.html#L341'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin <span id="L96" class="LineNr"> 96 </span> result <span class="Special"><-</span> <a href='006-sandbox-copy.mu.html#L211'>within-range?</a> click-column, delete-button-left, sandbox-right-margin <span id="L97" class="LineNr"> 97 </span>] <span id="L98" class="LineNr"> 98 </span> |