From 4a48bedcd1d708a43d43dc6259a4e45c52ea3d00 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 3 Dec 2017 23:25:40 -0800 Subject: 4134 - 'input' = 'ingredient' --- html/edit/005-sandbox.mu.html | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'html/edit/005-sandbox.mu.html') diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html index 1c6ab31c..51d920f8 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -208,7 +208,7 @@ if ('onhashchange' in window) { 145 146 def run-sandboxes env:&:environment, resources:&:resources, screen:&:screen -> errors-found?:bool, env:&:environment, resources:&:resources, screen:&:screen [ 147 local-scope - 148 load-ingredients + 148 load-inputs 149 errors-found?:bool <- update-recipes env, resources, screen 150 jump-if errors-found?, +return 151 # check contents of right editor (sandbox) @@ -259,7 +259,7 @@ if ('onhashchange' in window) { 196 # replaced in a later layer (whereupon errors-found? will actually be set) 197 def update-recipes env:&:environment, resources:&:resources, screen:&:screen -> errors-found?:bool, env:&:environment, resources:&:resources, screen:&:screen [ 198 local-scope - 199 load-ingredients + 199 load-inputs 200 recipes:&:editor <- get *env, recipes:offset 201 in:text <- editor-contents recipes 202 resources <- dump resources, [lesson/recipes.mu], in @@ -270,7 +270,7 @@ if ('onhashchange' in window) { 207 # replaced in a later layer 208 def update-sandbox sandbox:&:sandbox, env:&:environment, idx:num -> sandbox:&:sandbox, env:&:environment [ 209 local-scope - 210 load-ingredients + 210 load-inputs 211 data:text <- get *sandbox, data:offset 212 response:text, _, fake-screen:&:screen <- run-sandboxed data 213 *sandbox <- put *sandbox, response:offset, response @@ -279,14 +279,14 @@ if ('onhashchange' in window) { 216 217 def update-status screen:&:screen, msg:text, color:num -> screen:&:screen [ 218 local-scope - 219 load-ingredients + 219 load-inputs 220 screen <- move-cursor screen, 0, 2 221 screen <- print screen, msg, color, 238/grey/background 222 ] 223 224 def save-sandboxes env:&:environment, resources:&:resources -> resources:&:resources [ 225 local-scope - 226 load-ingredients + 226 load-inputs 227 trace 11, [app], [save sandboxes] 228 current-sandbox:&:editor <- get *env, current-sandbox:offset 229 # first clear previous versions, in case we deleted some sandbox @@ -304,7 +304,7 @@ if ('onhashchange' in window) { 241 242 def save-sandbox resources:&:resources, sandbox:&:sandbox, sandbox-index:num -> resources:&:resources [ 243 local-scope - 244 load-ingredients + 244 load-inputs 245 data:text <- get *sandbox, data:offset 246 filename:text <- append [lesson/], sandbox-index 247 resources <- dump resources, filename, data @@ -313,7 +313,7 @@ if ('onhashchange' in window) { 250 251 def! render-sandbox-side screen:&:screen, env:&:environment, render-editor:render-recipe -> screen:&:screen, env:&:environment [ 252 local-scope - 253 load-ingredients + 253 load-inputs 254 trace 11, [app], [render sandbox side] 255 old-top-idx:num <- save-top-idx screen 256 current-sandbox:&:editor <- get *env, current-sandbox:offset @@ -340,7 +340,7 @@ if ('onhashchange' in window) { 277 278 def render-sandboxes screen:&:screen, sandbox:&:sandbox, left:num, right:num, row:num, render-from:num, idx:num -> row:num, screen:&:screen, sandbox:&:sandbox [ 279 local-scope - 280 load-ingredients + 280 load-inputs 281 return-unless sandbox 282 screen-height:num <- screen-height screen 283 hidden?:bool <- lesser-than idx, render-from @@ -395,7 +395,7 @@ if ('onhashchange' in window) { 332 333 def render-sandbox-menu screen:&:screen, sandbox-index:num, left:num, right:num -> screen:&:screen [ 334 local-scope - 335 load-ingredients + 335 load-inputs 336 move-cursor-to-column screen, left 337 edit-button-left:num, edit-button-right:num, copy-button-left:num, copy-button-right:num, recipe-button-left:num, recipe-button-right:num, delete-button-left:num <- sandbox-menu-columns left, right 338 print screen, sandbox-index, 232/dark-grey, 245/grey @@ -440,7 +440,7 @@ if ('onhashchange' in window) { 377 # all left/right pairs are inclusive 378 def sandbox-menu-columns left:num, right:num -> edit-button-left:num, edit-button-right:num, copy-button-left:num, copy-button-right:num, recipe-button-left:num, recipe-button-right:num, delete-button-left:num [ 379 local-scope - 380 load-ingredients + 380 load-inputs 381 start-buttons:num <- add left, 4/space-for-sandbox-index 382 buttons-space:num <- subtract right, start-buttons 383 button-width:num <- divide-with-remainder buttons-space, 4 # integer division @@ -460,7 +460,7 @@ if ('onhashchange' in window) { 397 # like 'render-code' but without syntax-based colorization 398 def render-text screen:&:screen, s:text, left:num, right:num, color:num, row:num -> row:num, screen:&:screen [ 399 local-scope - 400 load-ingredients + 400 load-inputs 401 return-unless s 402 column:num <- copy left 403 screen <- move-cursor screen, row, column @@ -537,7 +537,7 @@ if ('onhashchange' in window) { 474 # assumes programming environment has no sandboxes; restores them from previous session 475 def restore-sandboxes env:&:environment, resources:&:resources -> env:&:environment [ 476 local-scope - 477 load-ingredients + 477 load-inputs 478 # read all scenarios, pushing them to end of a list of scenarios 479 idx:num <- copy 0 480 curr:&:sandbox <- copy 0 @@ -571,7 +571,7 @@ if ('onhashchange' in window) { 508 # leave cursor at start of next line 509 def render-screen screen:&:screen, sandbox-screen:&:screen, left:num, right:num, row:num -> row:num, screen:&:screen [ 510 local-scope - 511 load-ingredients + 511 load-inputs 512 return-unless sandbox-screen 513 # print 'screen:' 514 row <- render-text screen, [screen:], left, right, 245/grey, row @@ -745,7 +745,7 @@ if ('onhashchange' in window) { 682 683 def editor-contents editor:&:editor -> result:text [ 684 local-scope - 685 load-ingredients + 685 load-inputs 686 buf:&:buffer:char <- new-buffer 80 687 curr:&:duplex-list:char <- get *editor, data:offset 688 # skip ยง sentinel @@ -1007,7 +1007,7 @@ if ('onhashchange' in window) { 944 # return 0 if there's no such sandbox, either because 'in' doesn't exist in 'env', or because it's the first sandbox 945 def previous-sandbox env:&:environment, in:&:sandbox -> out:&:sandbox [ 946 local-scope - 947 load-ingredients + 947 load-inputs 948 curr:&:sandbox <- get *env, sandbox:offset 949 return-unless curr, 0/nil 950 next:&:sandbox <- get *curr, next-sandbox:offset -- cgit 1.4.1-2-gfad0