From 94ffc3776c8037416e4834eb5b94644587c18e10 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 18 Feb 2018 15:55:42 -0800 Subject: 4209 --- html/edit/006-sandbox-copy.mu.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (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 f68d4150..d5f19605 100644 --- a/html/edit/006-sandbox-copy.mu.html +++ b/html/edit/006-sandbox-copy.mu.html @@ -192,7 +192,7 @@ if ('onhashchange' in window) { 131 copy?, env <- try-copy-sandbox click-row, env 132 break-unless copy? 133 screen <- render-sandbox-side screen, env, render -134 screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env +134 screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env 135 loop +next-event 136 } 137 ] @@ -209,7 +209,7 @@ if ('onhashchange' in window) { 148 assert first-sandbox, [!!] 149 sandbox-left-margin:num <- get *first-sandbox, left:offset 150 sandbox-right-margin:num <- get *first-sandbox, right:offset -151 _, _, copy-button-left:num, copy-button-right:num <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin +151 _, _, copy-button-left:num, copy-button-right:num <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin 152 copy-button-vertical-area?:bool <- within-range? click-column, copy-button-left, copy-button-right 153 return-unless copy-button-vertical-area?, 0/false 154 # finally, is sandbox editor empty? @@ -412,7 +412,7 @@ if ('onhashchange' in window) { 351 break-unless modified? 352 *env <- put *env, sandbox-in-focus?:offset, 0/false 353 screen <- render-recipes screen, env, render -354 screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env +354 screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env 355 loop +next-event 356 } 357 ] @@ -429,7 +429,7 @@ if ('onhashchange' in window) { 368 assert first-sandbox, [!!] 369 sandbox-left-margin:num <- get *first-sandbox, left:offset 370 sandbox-right-margin:num <- get *first-sandbox, right:offset -371 _, _, _, _, recipe-button-left:num, recipe-button-right:num <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin +371 _, _, _, _, recipe-button-left:num, recipe-button-right:num <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin 372 result <- within-range? click-column, recipe-button-left, recipe-button-right 373 ] 374 -- cgit 1.4.1-2-gfad0