From 8a92572df505eab170912e082e085301e7fecddd Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Tue, 22 Aug 2017 09:50:06 -0700 Subject: 3983 --- html/edit/008-sandbox-edit.mu.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/edit/008-sandbox-edit.mu.html') diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html index 417a4d65..4c8025ab 100644 --- a/html/edit/008-sandbox-edit.mu.html +++ b/html/edit/008-sandbox-edit.mu.html @@ -193,7 +193,7 @@ if ('onhashchange' in window) { 131 assert first-sandbox, [!!] 132 sandbox-left-margin:num <- get *first-sandbox, left:offset 133 sandbox-right-margin:num <- get *first-sandbox, right:offset -134 edit-button-left:num, edit-button-right:num, _ <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin +134 edit-button-left:num, edit-button-right:num, _ <- sandbox-menu-columns sandbox-left-margin, sandbox-right-margin 135 edit-button-vertical-area?:bool <- within-range? click-column, edit-button-left, edit-button-right 136 return-unless edit-button-vertical-area?, 0/false 137 # finally, is sandbox editor empty? -- cgit 1.4.1-2-gfad0