diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-05-20 01:41:08 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-05-20 01:41:08 -0700 |
| commit | 7f5600570a24fadb07015ad1b78b1989a8d364f2 (patch) | |
| tree | f7ef68acf34f2215464580a83d618f1f18e5b2ac /html/edit/007-sandbox-delete.mu.html | |
| parent | 53251357c969c3ae7bb3a17b5e55114e69f0e85d (diff) | |
| download | mu-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.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 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"><-</span> get *first-sandbox, <span class="Constant">left:offset</span> <span id="L92" class="LineNr"> 92 </span> sandbox-right-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">right:offset</span> -<span id="L93" class="LineNr"> 93 </span> _, _, _, _, delete-button-left:num <span class="Special"><-</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"><-</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"><-</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> |