From eeed3845cd504028779c333665e0b9fad2070357 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 6 Oct 2016 21:49:36 -0700 Subject: 3456 --- html/edit/007-sandbox-delete.mu.html | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 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 285e063e..d1ab4452 100644 --- a/html/edit/007-sandbox-delete.mu.html +++ b/html/edit/007-sandbox-delete.mu.html @@ -38,7 +38,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color local-scope trace-until 100/app # trace too long assume-screen 100/width, 15/height - env:&:environment <- new-programming-environment screen:&:screen, [], [] + env:&:environment <- new-programming-environment screen, [], [] # run a few commands assume-console [ left-click 1, 80 @@ -47,7 +47,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color type [add 2, 2] press F4 ] - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env screen-should-contain [ . run (F4) . . ┊ . @@ -68,7 +68,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left-click 7, 85 ] run [ - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env ] screen-should-contain [ . run (F4) . @@ -86,7 +86,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left-click 3, 99 ] run [ - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env ] screen-should-contain [ . run (F4) . @@ -185,7 +185,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color trace-until 100/app # trace too long assume-screen 100/width, 10/height # initialize environment - env:&:environment <- new-programming-environment screen:&:screen, [], [] + env:&:environment <- new-programming-environment screen, [], [] render-all screen, env, render # create 2 sandboxes and scroll to second assume-console [ @@ -196,7 +196,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color press F4 press page-down ] - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env screen-should-contain [ . run (F4) . . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. @@ -211,7 +211,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left-click 6, 99 ] run [ - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env ] # second sandbox shows in editor; scroll resets to display first sandbox screen-should-contain [ @@ -230,7 +230,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color trace-until 100/app # trace too long assume-screen 100/width, 10/height # initialize environment - env:&:environment <- new-programming-environment screen:&:screen, [], [] + env:&:environment <- new-programming-environment screen, [], [] render-all screen, env, render # create 2 sandboxes and scroll to second assume-console [ @@ -241,7 +241,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color press F4 press page-down ] - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env screen-should-contain [ . run (F4) . . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. @@ -256,7 +256,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left-click 2, 99 ] run [ - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env ] # second sandbox shows in editor; scroll resets to display first sandbox screen-should-contain [ @@ -275,7 +275,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color trace-until 100/app # trace too long assume-screen 100/width, 10/height # initialize environment - env:&:environment <- new-programming-environment screen:&:screen, [], [] + env:&:environment <- new-programming-environment screen, [], [] render-all screen, env, render # create 2 sandboxes and scroll to second assume-console [ @@ -287,7 +287,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color press page-down press page-down ] - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env screen-should-contain [ . run (F4) . . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. @@ -302,7 +302,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color left-click 2, 99 ] run [ - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env ] # implicitly scroll up to first sandbox screen-should-contain [ @@ -322,7 +322,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color trace-until 100/app # trace too long assume-screen 100/width, 10/height # initialize environment - env:&:environment <- new-programming-environment screen:&:screen, [], [] + env:&:environment <- new-programming-environment screen, [], [] render-all screen, env, render # create 2 sandboxes assume-console [ @@ -332,7 +332,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color type [add 1, 1] press F4 ] - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env screen-should-contain [ . run (F4) . . ┊ . @@ -352,7 +352,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color press page-down ] run [ - event-loop screen:&:screen, console:&:console, env + event-loop screen, console, env ] # shouldn't go past last sandbox screen-should-contain [ -- cgit 1.4.1-2-gfad0