From 717d6cddc1464df9744a37056016b9f4230ab650 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 11 Jan 2017 09:40:41 -0800 Subject: 3732 --- 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 5c940763..7f27f164 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -73,7 +73,7 @@ if ('onhashchange' in window) { 12 open-console 13 env:&:environment <- new-programming-environment 0/filesystem, 0/screen 14 env <- restore-sandboxes env - 15 render-all 0/screen, env, render + 15 render-all 0/screen, env, render 16 event-loop 0/screen, 0/console, env, 0/filesystem 17 # never gets here 18 ] @@ -191,7 +191,7 @@ if ('onhashchange' in window) { 130 screen <- update-status screen, [running... ], 245/grey 131 error?:bool <- run-sandboxes env, resources, screen 132 # F4 might update warnings and results on both sides - 133 screen <- render-all screen, env, render + 133 screen <- render-all screen, env, render 134 { 135 break-if error? 136 screen <- update-status screen, [ ], 245/grey @@ -307,14 +307,14 @@ if ('onhashchange' in window) { 246 render-current-sandbox?:bool <- equal render-from, -1 247 break-unless render-current-sandbox? 248 row, column, screen, current-sandbox <- call render-editor, screen, current-sandbox - 249 clear-screen-from screen, row, column, left, right + 249 clear-screen-from screen, row, column, left, right 250 row <- add row, 1 251 } 252 # render sandboxes 253 draw-horizontal screen, row, left, right 254 sandbox:&:sandbox <- get *env, sandbox:offset 255 row, screen <- render-sandboxes screen, sandbox, left, right, row, render-from - 256 clear-rest-of-screen screen, row, left, right + 256 clear-rest-of-screen screen, row, left, right 257 ] 258 259 def render-sandboxes screen:&:screen, sandbox:&:sandbox, left:num, right:num, row:num, render-from:num, idx:num -> row:num, screen:&:screen, sandbox:&:sandbox [ @@ -689,7 +689,7 @@ if ('onhashchange' in window) { 628 scenario editor-provides-edited-contents [ 629 local-scope 630 assume-screen 10/width, 5/height - 631 e:&:editor <- new-editor [abc], 0/left, 10/right + 631 e:&:editor <- new-editor [abc], 0/left, 10/right 632 assume-console [ 633 left-click 1, 2 634 type [def] @@ -713,7 +713,7 @@ if ('onhashchange' in window) { 652 assume-resources [ 653 ] 654 env:&:environment <- new-programming-environment resources, screen, [] - 655 render-all screen, env, render + 655 render-all screen, env, render 656 assume-console [ 657 press enter 658 press down-arrow @@ -736,7 +736,7 @@ if ('onhashchange' in window) { 675 assume-resources [ 676 ] 677 env:&:environment <- new-programming-environment resources, screen, [] - 678 render-all screen, env, render + 678 render-all screen, env, render 679 assume-console [ 680 press enter 681 press up-arrow @@ -816,7 +816,7 @@ if ('onhashchange' in window) { 755 assume-resources [ 756 ] 757 env:&:environment <- new-programming-environment resources, screen, [] - 758 render-all screen, env, render + 758 render-all screen, env, render 759 assume-console [ 760 # add a line 761 press enter @@ -844,7 +844,7 @@ if ('onhashchange' in window) { 783 ] 784 env:&:environment <- new-programming-environment resources, screen, [ab 785 cd] - 786 render-all screen, env, render + 786 render-all screen, env, render 787 assume-console [ 788 # add a line 789 press enter @@ -876,7 +876,7 @@ if ('onhashchange' in window) { 815 assume-resources [ 816 ] 817 env:&:environment <- new-programming-environment resources, screen, [add 2, 2] - 818 render-all screen, env, render + 818 render-all screen, env, render 819 assume-console [ 820 # create a sandbox 821 press F4 @@ -946,7 +946,7 @@ if ('onhashchange' in window) { 885 *env <- put *env, render-from:offset, render-from 886 } 887 hide-screen screen - 888 screen <- render-sandbox-side screen, env, render + 888 screen <- render-sandbox-side screen, env, render 889 show-screen screen 890 jump +finish-event 891 } @@ -977,7 +977,7 @@ if ('onhashchange' in window) { 916 render-from <- subtract render-from, 1 917 *env <- put *env, render-from:offset, render-from 918 hide-screen screen - 919 screen <- render-sandbox-side screen, env, render + 919 screen <- render-sandbox-side screen, env, render 920 show-screen screen 921 jump +finish-event 922 } @@ -1014,7 +1014,7 @@ if ('onhashchange' in window) { 953 ] 954 # create a sandbox 955 env:&:environment <- new-programming-environment resources, screen, [add 2, 2] - 956 render-all screen, env, render + 956 render-all screen, env, render 957 assume-console [ 958 press F4 959 ] @@ -1046,7 +1046,7 @@ if ('onhashchange' in window) { 985 assume-resources [ 986 ] 987 env:&:environment <- new-programming-environment resources, screen, [] - 988 render-all screen, env, render + 988 render-all screen, env, render 989 # create 2 sandboxes 990 assume-console [ 991 press ctrl-n @@ -1199,7 +1199,7 @@ if ('onhashchange' in window) { 1138 assume-resources [ 1139 ] 1140 env:&:environment <- new-programming-environment resources, screen, [] -1141 render-all screen, env, render +1141 render-all screen, env, render 1142 # create a sandbox 1143 assume-console [ 1144 press ctrl-n -- cgit 1.4.1-2-gfad0