diff options
Diffstat (limited to 'edit/007-sandbox-delete.mu')
| -rw-r--r-- | edit/007-sandbox-delete.mu | 55 |
1 files changed, 25 insertions, 30 deletions
diff --git a/edit/007-sandbox-delete.mu b/edit/007-sandbox-delete.mu index 1eb2c904..141c1528 100644 --- a/edit/007-sandbox-delete.mu +++ b/edit/007-sandbox-delete.mu @@ -1,11 +1,10 @@ ## deleting sandboxes scenario deleting-sandboxes [ + local-scope trace-until 100/app # trace too long assume-screen 100/width, 15/height - 1:text <- new [] - 2:text <- new [] - 3:&:environment <- new-programming-environment screen:&:screen, 1:text, 2:text + env:&:environment <- new-programming-environment screen:&:screen, [], [] # run a few commands assume-console [ left-click 1, 80 @@ -14,7 +13,7 @@ scenario deleting-sandboxes [ type [add 2, 2] press F4 ] - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env screen-should-contain [ . run (F4) . . ┊ . @@ -35,7 +34,7 @@ scenario deleting-sandboxes [ left-click 7, 85 ] run [ - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env ] screen-should-contain [ . run (F4) . @@ -53,7 +52,7 @@ scenario deleting-sandboxes [ left-click 3, 99 ] run [ - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env ] screen-should-contain [ . run (F4) . @@ -148,13 +147,12 @@ def delete-sandbox env:&:environment, sandbox:&:sandbox -> env:&:environment [ ] scenario deleting-sandbox-after-scroll [ + local-scope trace-until 100/app # trace too long assume-screen 100/width, 10/height # initialize environment - 1:text <- new [] - 2:text <- new [] - 3:&:environment <- new-programming-environment screen:&:screen, 1:text, 2:text - render-all screen, 3:&:environment, render + env:&:environment <- new-programming-environment screen:&:screen, [], [] + render-all screen, env, render # create 2 sandboxes and scroll to second assume-console [ press ctrl-n @@ -164,7 +162,7 @@ scenario deleting-sandbox-after-scroll [ press F4 press page-down ] - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env screen-should-contain [ . run (F4) . . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. @@ -179,7 +177,7 @@ scenario deleting-sandbox-after-scroll [ left-click 6, 99 ] run [ - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env ] # second sandbox shows in editor; scroll resets to display first sandbox screen-should-contain [ @@ -194,13 +192,12 @@ scenario deleting-sandbox-after-scroll [ ] scenario deleting-top-sandbox-after-scroll [ + local-scope trace-until 100/app # trace too long assume-screen 100/width, 10/height # initialize environment - 1:text <- new [] - 2:text <- new [] - 3:&:environment <- new-programming-environment screen:&:screen, 1:text, 2:text - render-all screen, 3:&:environment, render + env:&:environment <- new-programming-environment screen:&:screen, [], [] + render-all screen, env, render # create 2 sandboxes and scroll to second assume-console [ press ctrl-n @@ -210,7 +207,7 @@ scenario deleting-top-sandbox-after-scroll [ press F4 press page-down ] - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env screen-should-contain [ . run (F4) . . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. @@ -225,7 +222,7 @@ scenario deleting-top-sandbox-after-scroll [ left-click 2, 99 ] run [ - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env ] # second sandbox shows in editor; scroll resets to display first sandbox screen-should-contain [ @@ -240,13 +237,12 @@ scenario deleting-top-sandbox-after-scroll [ ] scenario deleting-final-sandbox-after-scroll [ + local-scope trace-until 100/app # trace too long assume-screen 100/width, 10/height # initialize environment - 1:text <- new [] - 2:text <- new [] - 3:&:environment <- new-programming-environment screen:&:screen, 1:text, 2:text - render-all screen, 3:&:environment, render + env:&:environment <- new-programming-environment screen:&:screen, [], [] + render-all screen, env, render # create 2 sandboxes and scroll to second assume-console [ press ctrl-n @@ -257,7 +253,7 @@ scenario deleting-final-sandbox-after-scroll [ press page-down press page-down ] - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env screen-should-contain [ . run (F4) . . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━. @@ -272,7 +268,7 @@ scenario deleting-final-sandbox-after-scroll [ left-click 2, 99 ] run [ - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env ] # implicitly scroll up to first sandbox screen-should-contain [ @@ -288,13 +284,12 @@ scenario deleting-final-sandbox-after-scroll [ ] scenario deleting-updates-sandbox-count [ + local-scope trace-until 100/app # trace too long assume-screen 100/width, 10/height # initialize environment - 1:text <- new [] - 2:text <- new [] - 3:&:environment <- new-programming-environment screen:&:screen, 1:text, 2:text - render-all screen, 3:&:environment, render + env:&:environment <- new-programming-environment screen:&:screen, [], [] + render-all screen, env, render # create 2 sandboxes assume-console [ press ctrl-n @@ -303,7 +298,7 @@ scenario deleting-updates-sandbox-count [ type [add 1, 1] press F4 ] - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env screen-should-contain [ . run (F4) . . ┊ . @@ -323,7 +318,7 @@ scenario deleting-updates-sandbox-count [ press page-down ] run [ - event-loop screen:&:screen, console:&:console, 3:&:environment + event-loop screen:&:screen, console:&:console, env ] # shouldn't go past last sandbox screen-should-contain [ |