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 /edit | |
| 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 'edit')
| -rw-r--r-- | edit/005-sandbox.mu | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index 02bdd284..27b4a2ec 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -326,14 +326,8 @@ def render-sandbox-menu screen:&:screen, sandbox-index:num, left:num, right:num clear-line-until screen, start-buttons, 245/grey print screen, [edit], 232/black, 94/background-orange clear-line-until screen, edit-button-right, 94/background-orange - _, col:num <- cursor-position screen - at-start-of-copy-button?:bool <- equal col, copy-button-left - assert at-start-of-copy-button?, [aaa] print screen, [copy], 232/black, 58/background-green clear-line-until screen, copy-button-right, 58/background-green - _, col:num <- cursor-position screen - at-start-of-delete-button?:bool <- equal col, delete-button-left - assert at-start-of-delete-button?, [bbb] print screen, [delete], 232/black, 52/background-red clear-line-until screen, right, 52/background-red ] |