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/008-sandbox-edit.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/008-sandbox-edit.mu.html')
-rw-r--r-- | html/edit/008-sandbox-edit.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html index 64abe297..99fe4400 100644 --- a/html/edit/008-sandbox-edit.mu.html +++ b/html/edit/008-sandbox-edit.mu.html @@ -191,7 +191,7 @@ if ('onhashchange' in window) { <span id="L129" class="LineNr">129 </span> assert first-sandbox, <span class="Constant">[!!]</span> <span id="L130" class="LineNr">130 </span> sandbox-left-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">left:offset</span> <span id="L131" class="LineNr">131 </span> sandbox-right-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">right:offset</span> -<span id="L132" class="LineNr">132 </span> edit-button-left:num, edit-button-right:num, _ <span class="Special"><-</span> <a href='005-sandbox.mu.html#L344'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin +<span id="L132" class="LineNr">132 </span> edit-button-left:num, edit-button-right:num, _ <span class="Special"><-</span> <a href='005-sandbox.mu.html#L338'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin <span id="L133" class="LineNr">133 </span> edit-button-vertical-area?:bool <span class="Special"><-</span> <a href='006-sandbox-copy.mu.html#L209'>within-range?</a> click-column, edit-button-left, edit-button-right <span id="L134" class="LineNr">134 </span> <span class="muControl">return-unless</span> edit-button-vertical-area?, <span class="Constant">0/false</span> <span id="L135" class="LineNr">135 </span> <span class="Comment"># finally, is sandbox editor empty?</span> |