From 7f5600570a24fadb07015ad1b78b1989a8d364f2 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 20 May 2017 01:41:08 -0700 Subject: 3871 Strange race condition: if I repeatedly press and 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. --- html/edit/006-sandbox-copy.mu.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/edit/006-sandbox-copy.mu.html') diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html index 688c496b..1fba95c1 100644 --- a/html/edit/006-sandbox-copy.mu.html +++ b/html/edit/006-sandbox-copy.mu.html @@ -208,7 +208,7 @@ if ('onhashchange' in window) { 146 assert first-sandbox, [!!] 147 sandbox-left-margin:num <- get *first-sandbox, left:offset 148 sandbox-right-margin:num <- get *first-sandbox, right:offset -149 _, _, copy-button-left:num, copy-button-right:num, _ <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin +149 _, _, copy-button-left:num, copy-button-right:num, _ <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin 150 copy-button-vertical-area?:bool <- within-range? click-column, copy-button-left, copy-button-right 151 return-unless copy-button-vertical-area?, 0/false 152 # finally, is sandbox editor empty? -- cgit 1.4.1-2-gfad0