From e3c9e1536154e0dee2c15b556a2a6b9f6524e114 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 25 Jun 2017 13:04:04 -0700 Subject: 3959 Don't unnecessarily write sandboxes to disk on F4. This seems to save almost 20% time when processing a large lesson directory with 36 sandboxes. --- html/edit/006-sandbox-copy.mu.html | 4 ++-- 1 file changed, 2 insertions(+), 2 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 d6a56d6c..b81a07dc 100644 --- a/html/edit/006-sandbox-copy.mu.html +++ b/html/edit/006-sandbox-copy.mu.html @@ -210,7 +210,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? @@ -430,7 +430,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