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/007-sandbox-delete.mu.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'html/edit/007-sandbox-delete.mu.html') diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html index e50089d2..531b4f9a 100644 --- a/html/edit/007-sandbox-delete.mu.html +++ b/html/edit/007-sandbox-delete.mu.html @@ -135,7 +135,7 @@ if ('onhashchange' in window) { 74 delete?, env <- try-delete-sandbox click-row, env 75 break-unless delete? 76 screen <- render-sandbox-side screen, env, render - 77 screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env + 77 screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env 78 loop +next-event 79 } 80 ] @@ -152,7 +152,7 @@ if ('onhashchange' in window) { 91 assert first-sandbox, [!!] 92 sandbox-left-margin:num <- get *first-sandbox, left:offset 93 sandbox-right-margin:num <- get *first-sandbox, right:offset - 94 _, _, _, _, _, _, delete-button-left:num <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin + 94 _, _, _, _, _, _, delete-button-left:num <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin 95 result <- within-range? click-column, delete-button-left, sandbox-right-margin 96 ] 97 -- cgit 1.4.1-2-gfad0