about summary refs log tree commit diff stats
path: root/html/edit/007-sandbox-delete.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-05-20 01:41:08 -0700
committerKartik K. Agaram <vc@akkartik.com>2017-05-20 01:41:08 -0700
commit7f5600570a24fadb07015ad1b78b1989a8d364f2 (patch)
treef7ef68acf34f2215464580a83d618f1f18e5b2ac /html/edit/007-sandbox-delete.mu.html
parent53251357c969c3ae7bb3a17b5e55114e69f0e85d (diff)
downloadmu-7f5600570a24fadb07015ad1b78b1989a8d364f2.tar.gz
3871
Strange race condition: if I repeatedly press <enter> and <backspace> so
the screen is constantly playing catch up, it will sometimes fail these
assertions when it does eventually catch up. Somehow the cursor ends up
misplaced. Let's just take them out. It's likely some low-level implementation
detail of the terminal.
Diffstat (limited to 'html/edit/007-sandbox-delete.mu.html')
-rw-r--r--html/edit/007-sandbox-delete.mu.html2
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 06446263..ef975375 100644
--- a/html/edit/007-sandbox-delete.mu.html
+++ b/html/edit/007-sandbox-delete.mu.html
@@ -152,7 +152,7 @@ if ('onhashchange' in window) {
 <span id="L90" class="LineNr"> 90 </span>  assert first-sandbox, <span class="Constant">[!!]</span>
 <span id="L91" class="LineNr"> 91 </span>  sandbox-left-margin:num <span class="Special">&lt;-</span> get *first-sandbox, <span class="Constant">left:offset</span>
 <span id="L92" class="LineNr"> 92 </span>  sandbox-right-margin:num <span class="Special">&lt;-</span> get *first-sandbox, <span class="Constant">right:offset</span>
-<span id="L93" class="LineNr"> 93 </span>  _, _, _, _, delete-button-left:num <span class="Special">&lt;-</span> <a href='005-sandbox.mu.html#L344'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin
+<span id="L93" class="LineNr"> 93 </span>  _, _, _, _, delete-button-left:num <span class="Special">&lt;-</span> <a href='005-sandbox.mu.html#L338'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin
 <span id="L94" class="LineNr"> 94 </span>  result <span class="Special">&lt;-</span> <a href='006-sandbox-copy.mu.html#L209'>within-range?</a> click-column, delete-button-left, sandbox-right-margin
 <span id="L95" class="LineNr"> 95 </span>]
 <span id="L96" class="LineNr"> 96 </span>