1 ## running code from the editor and creating sandboxes
   2 #
   3 # Running code in the sandbox editor prepends its contents to a list of
   4 # (non-editable) sandboxes below the editor, showing the result and maybe a
   5 # few other things (later layers).
   6 #
   7 # This layer draws the menubar buttons in non-editable sandboxes but they
   8 # don't do anything yet. Later layers implement each button.
   9 
  10 def! main [
  11   local-scope
  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
  16   event-loop 0/screen, 0/console, env, 0/filesystem
  17   # never gets here
  18 ]
  19 
  20 container environment [
  21   sandbox:&:sandbox  # list of sandboxes, from top to bottom. TODO: switch to &:list:sandbox
  22   render-from:num
  23   number-of-sandboxes:num
  24 ]
  25 
  26 after <programming-environment-initialization> [
  27   *result <- put *result, render-from:offset, -1
  28 ]
  29 
  30 container sandbox [
  31   data:text
  32   response:text
  33   # coordinates to track clicks
  34   # constraint: will be 0 for sandboxes at positions before env.render-from
  35   starting-row-on-screen:num
  36   code-ending-row-on-screen:num  # past end of code
  37   screen:&:screen  # prints in the sandbox go here
  38   next-sandbox:&:sandbox
  39 ]
  40 
  41 scenario run-and-show-results [
  42   local-scope
  43   trace-until 100/app  # trace too long
  44   assume-screen 100/width, 15/height
  45   # recipe editor is empty
  46   assume-resources [
  47   ]
  48   # sandbox editor contains an instruction without storing outputs
  49   env:&:environment <- new-programming-environment resources, screen, [divide-with-remainder 11, 3]
  50   # run the code in the editors
  51   assume-console [
  52   ¦ press F4
  53   ]
  54   run [
  55   ¦ event-loop screen, console, env, resources
  56   ]
  57   # check that screen prints the results
  58   screen-should-contain [
  59   ¦ .                                                                                 run (F4)           .
  60   ¦ .                                                  ╎                                                 .
  61   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
  62   ¦ .                                                  ╎0   edit          copy            delete         .
  63   ¦ .                                                  ╎divide-with-remainder 11, 3                      .
  64   ¦ .                                                  ╎3                                                .
  65   ¦ .                                                  ╎2                                                .
  66   ¦ .                                                  ╎─────────────────────────────────────────────────.
  67   ¦ .                                                  ╎                                                 .
  68   ]
  69   screen-should-contain-in-color 7/white, [
  70   ¦ .                                                                                                    .
  71   ¦ .                                                                                                    .
  72   ¦ .                                                                                                    .
  73   ¦ .                                                                                                    .
  74   ¦ .                                                   divide-with-remainder 11, 3                      .
  75   ¦ .                                                                                                    .
  76   ¦ .                                                                                                    .
  77   ¦ .                                                                                                    .
  78   ¦ .                                                                                                    .
  79   ]
  80   screen-should-contain-in-color 245/grey, [
  81   ¦ .                                                                                                    .
  82   ¦ .                                                  ╎                                                 .
  83   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
  84   ¦ .                                                  ╎                                                 .
  85   ¦ .                                                  ╎                                                 .
  86   ¦ .                                                  ╎3                                                .
  87   ¦ .                                                  ╎2                                                .
  88   ¦ .                                                  ╎─────────────────────────────────────────────────.
  89   ¦ .                                                  ╎                                                 .
  90   ]
  91   # sandbox menu in reverse video
  92   screen-should-contain-in-color 232/black, [
  93   ¦ .                                                                                                    .
  94   ¦ .                                                                                                    .
  95   ¦ .                                                                                                    .
  96   ¦ .                                                   0   edit          copy            delete         .
  97   ]
  98   # run another command
  99   assume-console [
 100   ¦ left-click 1, 80
 101   ¦ type [add 2, 2]
 102   ¦ press F4
 103   ]
 104   run [
 105   ¦ event-loop screen, console, env, resources
 106   ]
 107   # check that screen prints both sandboxes
 108   screen-should-contain [
 109   ¦ .                                                                                 run (F4)           .
 110   ¦ .                                                  ╎                                                 .
 111   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
 112   ¦ .                                                  ╎0   edit          copy            delete         .
 113   ¦ .                                                  ╎add 2, 2                                         .
 114   ¦ .                                                  ╎4                                                .
 115   ¦ .                                                  ╎─────────────────────────────────────────────────.
 116   ¦ .                                                  ╎1   edit          copy            delete         .
 117   ¦ .                                                  ╎divide-with-remainder 11, 3                      .
 118   ¦ .                                                  ╎3                                                .
 119   ¦ .                                                  ╎2                                                .
 120   ¦ .                                                  ╎─────────────────────────────────────────────────.
 121   ¦ .                                                  ╎                                                 .
 122   ]
 123 ]
 124 
 125 after <global-keypress> [
 126   # F4? load all code and run all sandboxes.
 127   {
 128   ¦ do-run?:bool <- equal k, 65532/F4
 129   ¦ break-unless do-run?
 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
 134   ¦ {
 135   ¦ ¦ break-if error?
 136   ¦ ¦ screen <- update-status screen, [                 ], 245/grey
 137   ¦ }
 138   ¦ screen <- update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env
 139   ¦ loop +next-event
 140   }
 141 ]
 142 
 143 def run-sandboxes env:&:environment, resources:&:resources, screen:&:screen -> errors-found?:bool, env:&:environment, resources:&:resources, screen:&:screen [
 144   local-scope
 145   load-ingredients
 146   errors-found?:bool <- update-recipes env, resources, screen
 147   jump-if errors-found?, +return
 148   # check contents of right editor (sandbox)
 149   <run-sandboxes-begin>
 150   current-sandbox:&:editor <- get *env, current-sandbox:offset
 151   {
 152   ¦ sandbox-contents:text <- editor-contents current-sandbox
 153   ¦ break-unless sandbox-contents
 154   ¦ # if contents exist, first save them
 155   ¦ # run them and turn them into a new sandbox
 156   ¦ new-sandbox:&:sandbox <- new sandbox:type
 157   ¦ *new-sandbox <- put *new-sandbox, data:offset, sandbox-contents
 158   ¦ # push to head of sandbox list
 159   ¦ dest:&:sandbox <- get *env, sandbox:offset
 160   ¦ *new-sandbox <- put *new-sandbox, next-sandbox:offset, dest
 161   ¦ *env <- put *env, sandbox:offset, new-sandbox
 162   ¦ # update sandbox count
 163   ¦ sandbox-count:num <- get *env, number-of-sandboxes:offset
 164   ¦ sandbox-count <- add sandbox-count, 1
 165   ¦ *env <- put *env, number-of-sandboxes:offset, sandbox-count
 166   ¦ # clear sandbox editor
 167   ¦ init:&:duplex-list:char <- push 167/§, 0/tail
 168   ¦ *current-sandbox <- put *current-sandbox, data:offset, init
 169   ¦ *current-sandbox <- put *current-sandbox, top-of-screen:offset, init
 170   }
 171   # save all sandboxes before running, just in case we die when running
 172   save-sandboxes env, resources
 173   # run all sandboxes
 174   curr:&:sandbox <- get *env, sandbox:offset
 175   idx:num <- copy 0
 176   {
 177   ¦ break-unless curr
 178   ¦ curr <- update-sandbox curr, env, idx
 179   ¦ curr <- get *curr, next-sandbox:offset
 180   ¦ idx <- add idx, 1
 181   ¦ loop
 182   }
 183   <run-sandboxes-end>
 184   +return
 185   {
 186   ¦ break-if resources  # ignore this in tests
 187   ¦ $system [./snapshot_lesson]
 188   }
 189 ]
 190 
 191 # load code from disk
 192 # replaced in a later layer (whereupon errors-found? will actually be set)
 193 def update-recipes env:&:environment, resources:&:resources, screen:&:screen -> errors-found?:bool, env:&:environment, resources:&:resources, screen:&:screen [
 194   local-scope
 195   load-ingredients
 196   recipes:&:editor <- get *env, recipes:offset
 197   in:text <- editor-contents recipes
 198   resources <- dump resources, [lesson/recipes.mu], in
 199   reload in
 200   errors-found? <- copy 0/false
 201 ]
 202 
 203 # replaced in a later layer
 204 def update-sandbox sandbox:&:sandbox, env:&:environment, idx:num -> sandbox:&:sandbox, env:&:environment [
 205   local-scope
 206   load-ingredients
 207   data:text <- get *sandbox, data:offset
 208   response:text, _, fake-screen:&:screen <- run-sandboxed data
 209   *sandbox <- put *sandbox, response:offset, response
 210   *sandbox <- put *sandbox, screen:offset, fake-screen
 211 ]
 212 
 213 def update-status screen:&:screen, msg:text, color:num -> screen:&:screen [
 214   local-scope
 215   load-ingredients
 216   screen <- move-cursor screen, 0, 2
 217   screen <- print screen, msg, color, 238/grey/background
 218 ]
 219 
 220 def save-sandboxes env:&:environment, resources:&:resources -> resources:&:resources [
 221   local-scope
 222   load-ingredients
 223   current-sandbox:&:editor <- get *env, current-sandbox:offset
 224   # first clear previous versions, in case we deleted some sandbox
 225   $system [rm lesson/[0-9]* >/dev/null 2>/dev/null]  # some shells can't handle '>&'
 226   curr:&:sandbox <- get *env, sandbox:offset
 227   idx:num <- copy 0
 228   {
 229   ¦ break-unless curr
 230   ¦ data:text <- get *curr, data:offset
 231   ¦ filename:text <- append [lesson/], idx
 232   ¦ resources <- dump resources, filename, data
 233   ¦ <end-save-sandbox>
 234   ¦ idx <- add idx, 1
 235   ¦ curr <- get *curr, next-sandbox:offset
 236   ¦ loop
 237   }
 238 ]
 239 
 240 def! render-sandbox-side screen:&:screen, env:&:environment, {render-editor: (recipe (address screen) (address editor) -> number number (address screen) (address editor))} -> screen:&:screen, env:&:environment [
 241   local-scope
 242   load-ingredients
 243   trace 11, [app], [render sandbox side]
 244   current-sandbox:&:editor <- get *env, current-sandbox:offset
 245   row:num, column:num <- copy 1, 0
 246   left:num <- get *current-sandbox, left:offset
 247   right:num <- get *current-sandbox, right:offset
 248   # render sandbox editor
 249   render-from:num <- get *env, render-from:offset
 250   {
 251   ¦ render-current-sandbox?:bool <- equal render-from, -1
 252   ¦ break-unless render-current-sandbox?
 253   ¦ row, column, screen, current-sandbox <- call render-editor, screen, current-sandbox
 254   ¦ clear-screen-from screen, row, column, left, right
 255   ¦ row <- add row, 1
 256   }
 257   # render sandboxes
 258   draw-horizontal screen, row, left, right
 259   sandbox:&:sandbox <- get *env, sandbox:offset
 260   row, screen <- render-sandboxes screen, sandbox, left, right, row, render-from
 261   clear-rest-of-screen screen, row, left, right
 262 ]
 263 
 264 def render-sandboxes screen:&:screen, sandbox:&:sandbox, left:num, right:num, row:num, render-from:num, idx:num -> row:num, screen:&:screen, sandbox:&:sandbox [
 265   local-scope
 266   load-ingredients
 267   return-unless sandbox
 268   screen-height:num <- screen-height screen
 269   at-bottom?:bool <- greater-or-equal row, screen-height
 270   return-if at-bottom?:bool
 271   hidden?:bool <- lesser-than idx, render-from
 272   {
 273   ¦ break-if hidden?
 274   ¦ # render sandbox menu
 275   ¦ row <- add row, 1
 276   ¦ screen <- move-cursor screen, row, left
 277   ¦ screen <- render-sandbox-menu screen, idx, left, right
 278   ¦ # save menu row so we can detect clicks to it later
 279   ¦ *sandbox <- put *sandbox, starting-row-on-screen:offset, row
 280   ¦ # render sandbox contents
 281   ¦ row <- add row, 1
 282   ¦ screen <- move-cursor screen, row, left
 283   ¦ sandbox-data:text <- get *sandbox, data:offset
 284   ¦ row, screen <- render-code screen, sandbox-data, left, right, row
 285   ¦ *sandbox <- put *sandbox, code-ending-row-on-screen:offset, row
 286   ¦ # render sandbox warnings, screen or response, in that order
 287   ¦ sandbox-response:text <- get *sandbox, response:offset
 288   ¦ <render-sandbox-results>
 289   ¦ {
 290   ¦ ¦ sandbox-screen:&:screen <- get *sandbox, screen:offset
 291   ¦ ¦ empty-screen?:bool <- fake-screen-is-empty? sandbox-screen
 292   ¦ ¦ break-if empty-screen?
 293   ¦ ¦ row, screen <- render-screen screen, sandbox-screen, left, right, row
 294   ¦ }
 295   ¦ {
 296   ¦ ¦ break-unless empty-screen?
 297   ¦ ¦ <render-sandbox-response>
 298   ¦ ¦ row, screen <- render-text screen, sandbox-response, left, right, 245/grey, row
 299   ¦ }
 300   ¦ +render-sandbox-end
 301   ¦ at-bottom?:bool <- greater-or-equal row, screen-height
 302   ¦ return-if at-bottom?
 303   ¦ # draw solid line after sandbox
 304   ¦ draw-horizontal screen, row, left, right
 305   }
 306   # if hidden, reset row attributes
 307   {
 308   ¦ break-unless hidden?
 309   ¦ *sandbox <- put *sandbox, starting-row-on-screen:offset, 0
 310   ¦ *sandbox <- put *sandbox, code-ending-row-on-screen:offset, 0
 311   ¦ <end-render-sandbox-reset-hidden>
 312   }
 313   # draw next sandbox
 314   next-sandbox:&:sandbox <- get *sandbox, next-sandbox:offset
 315   next-idx:num <- add idx, 1
 316   row, screen <- render-sandboxes screen, next-sandbox, left, right, row, render-from, next-idx
 317 ]
 318 
 319 def render-sandbox-menu screen:&:screen, sandbox-index:num, left:num, right:num -> screen:&:screen [
 320   local-scope
 321   load-ingredients
 322   move-cursor-to-column screen, left
 323   edit-button-left:num, edit-button-right:num, copy-button-left:num, copy-button-right:num, delete-button-left:num <- sandbox-menu-columns left, right
 324   print screen, sandbox-index, 232/dark-grey, 245/grey
 325   start-buttons:num <- subtract edit-button-left, 1
 326   clear-line-until screen, start-buttons, 245/grey
 327   print screen, [edit], 232/black, 94/background-orange
 328   clear-line-until screen, edit-button-right, 94/background-orange
 329   _, col:num <- cursor-position screen
 330   at-start-of-copy-button?:bool <- equal col, copy-button-left
 331   assert at-start-of-copy-button?, [aaa]
 332   print screen, [copy], 232/black, 58/background-green
 333   clear-line-until screen, copy-button-right, 58/background-green
 334   _, col:num <- cursor-position screen
 335   at-start-of-delete-button?:bool <- equal col, delete-button-left
 336   assert at-start-of-delete-button?, [bbb]
 337   print screen, [delete], 232/black, 52/background-red
 338   clear-line-until screen, right, 52/background-red
 339 ]
 340 
 341 # divide up the menu bar for a sandbox into 3 segments, for edit/copy/delete buttons
 342 # delete-button-right == right
 343 # all left/right pairs are inclusive
 344 def sandbox-menu-columns left:num, right:num -> edit-button-left:num, edit-button-right:num, copy-button-left:num, copy-button-right:num, delete-button-left:num [
 345   local-scope
 346   load-ingredients
 347   start-buttons:num <- add left, 4/space-for-sandbox-index
 348   buttons-space:num <- subtract right, start-buttons
 349   button-width:num <- divide-with-remainder buttons-space, 3  # integer division
 350   buttons-wide-enough?:bool <- greater-or-equal button-width, 8
 351   assert buttons-wide-enough?, [sandbox must be at least 30 or so characters wide]
 352   edit-button-left:num <- copy start-buttons
 353   copy-button-left:num <- add start-buttons, button-width
 354   edit-button-right:num <- subtract copy-button-left, 1
 355   delete-button-left:num <- subtract right, button-width
 356   copy-button-right:num <- subtract delete-button-left, 1
 357 ]
 358 
 359 # print a text 's' to 'editor' in 'color' starting at 'row'
 360 # clear rest of last line, move cursor to next line
 361 def render-text screen:&:screen, s:text, left:num, right:num, color:num, row:num -> row:num, screen:&:screen [
 362   local-scope
 363   load-ingredients
 364   return-unless s
 365   column:num <- copy left
 366   screen <- move-cursor screen, row, column
 367   screen-height:num <- screen-height screen
 368   i:num <- copy 0
 369   len:num <- length *s
 370   {
 371   ¦ +next-character
 372   ¦ done?:bool <- greater-or-equal i, len
 373   ¦ break-if done?
 374   ¦ done? <- greater-or-equal row, screen-height
 375   ¦ break-if done?
 376   ¦ c:char <- index *s, i
 377   ¦ {
 378   ¦ ¦ # newline? move to left rather than 0
 379   ¦ ¦ newline?:bool <- equal c, 10/newline
 380   ¦ ¦ break-unless newline?
 381   ¦ ¦ # clear rest of line in this window
 382   ¦ ¦ {
 383   ¦ ¦ ¦ done?:bool <- greater-than column, right
 384   ¦ ¦ ¦ break-if done?
 385   ¦ ¦ ¦ space:char <- copy 32/space
 386   ¦ ¦ ¦ print screen, space
 387   ¦ ¦ ¦ column <- add column, 1
 388   ¦ ¦ ¦ loop
 389   ¦ ¦ }
 390   ¦ ¦ row <- add row, 1
 391   ¦ ¦ column <- copy left
 392   ¦ ¦ screen <- move-cursor screen, row, column
 393   ¦ ¦ i <- add i, 1
 394   ¦ ¦ loop +next-character
 395   ¦ }
 396   ¦ {
 397   ¦ ¦ # at right? wrap.
 398   ¦ ¦ at-right?:bool <- equal column, right
 399   ¦ ¦ break-unless at-right?
 400   ¦ ¦ # print wrap icon
 401   ¦ ¦ wrap-icon:char <- copy 8617/loop-back-to-left
 402   ¦ ¦ print screen, wrap-icon, 245/grey
 403   ¦ ¦ column <- copy left
 404   ¦ ¦ row <- add row, 1
 405   ¦ ¦ screen <- move-cursor screen, row, column
 406   ¦ ¦ # don't increment i
 407   ¦ ¦ loop +next-character
 408   ¦ }
 409   ¦ i <- add i, 1
 410   ¦ print screen, c, color
 411   ¦ column <- add column, 1
 412   ¦ loop
 413   }
 414   was-at-left?:bool <- equal column, left
 415   clear-line-until screen, right
 416   {
 417   ¦ break-if was-at-left?
 418   ¦ row <- add row, 1
 419   }
 420   move-cursor screen, row, left
 421 ]
 422 
 423 scenario read-text-wraps-barely-long-lines [
 424   local-scope
 425   assume-screen 5/width, 5/height
 426   s:text <- new [abcde]
 427   run [
 428   ¦ render-text screen, s, 0/left, 4/right, 7/white, 1/row
 429   ]
 430   screen-should-contain [
 431   ¦ .     .
 432   ¦ .abcd↩.
 433   ¦ .e    .
 434   ¦ .     .
 435   ]
 436 ]
 437 
 438 # like 'render-text', but with colorization for comments like in the editor
 439 def render-code screen:&:screen, s:text, left:num, right:num, row:num -> row:num, screen:&:screen [
 440   local-scope
 441   load-ingredients
 442   return-unless s
 443   color:num <- copy 7/white
 444   column:num <- copy left
 445   screen <- move-cursor screen, row, column
 446   screen-height:num <- screen-height screen
 447   i:num <- copy 0
 448   len:num <- length *s
 449   {
 450   ¦ +next-character
 451   ¦ done?:bool <- greater-or-equal i, len
 452   ¦ break-if done?
 453   ¦ done? <- greater-or-equal row, screen-height
 454   ¦ break-if done?
 455   ¦ c:char <- index *s, i
 456   ¦ <character-c-received>  # only line different from 'render-text'
 457   ¦ {
 458   ¦ ¦ # newline? move to left rather than 0
 459   ¦ ¦ newline?:bool <- equal c, 10/newline
 460   ¦ ¦ break-unless newline?
 461   ¦ ¦ # clear rest of line in this window
 462   ¦ ¦ {
 463   ¦ ¦ ¦ done?:bool <- greater-than column, right
 464   ¦ ¦ ¦ break-if done?
 465   ¦ ¦ ¦ space:char <- copy 32/space
 466   ¦ ¦ ¦ print screen, space
 467   ¦ ¦ ¦ column <- add column, 1
 468   ¦ ¦ ¦ loop
 469   ¦ ¦ }
 470   ¦ ¦ row <- add row, 1
 471   ¦ ¦ column <- copy left
 472   ¦ ¦ screen <- move-cursor screen, row, column
 473   ¦ ¦ i <- add i, 1
 474   ¦ ¦ loop +next-character
 475   ¦ }
 476   ¦ {
 477   ¦ ¦ # at right? wrap.
 478   ¦ ¦ at-right?:bool <- equal column, right
 479   ¦ ¦ break-unless at-right?
 480   ¦ ¦ # print wrap icon
 481   ¦ ¦ wrap-icon:char <- copy 8617/loop-back-to-left
 482   ¦ ¦ print screen, wrap-icon, 245/grey
 483   ¦ ¦ column <- copy left
 484   ¦ ¦ row <- add row, 1
 485   ¦ ¦ screen <- move-cursor screen, row, column
 486   ¦ ¦ # don't increment i
 487   ¦ ¦ loop +next-character
 488   ¦ }
 489   ¦ i <- add i, 1
 490   ¦ print screen, c, color
 491   ¦ column <- add column, 1
 492   ¦ loop
 493   }
 494   was-at-left?:bool <- equal column, left
 495   clear-line-until screen, right
 496   {
 497   ¦ break-if was-at-left?
 498   ¦ row <- add row, 1
 499   }
 500   move-cursor screen, row, left
 501 ]
 502 
 503 # assumes programming environment has no sandboxes; restores them from previous session
 504 def restore-sandboxes env:&:environment, resources:&:resources -> env:&:environment [
 505   local-scope
 506   load-ingredients
 507   # read all scenarios, pushing them to end of a list of scenarios
 508   idx:num <- copy 0
 509   curr:&:sandbox <- copy 0
 510   prev:&:sandbox <- copy 0
 511   {
 512   ¦ filename:text <- append [lesson/], idx
 513   ¦ contents:text <- slurp resources, filename
 514   ¦ break-unless contents  # stop at first error; assuming file didn't exist
 515   ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦ ¦      # todo: handle empty sandbox
 516   ¦ # create new sandbox for file
 517   ¦ curr <- new sandbox:type
 518   ¦ *curr <- put *curr, data:offset, contents
 519   ¦ <end-restore-sandbox>
 520   ¦ {
 521   ¦ ¦ break-if idx
 522   ¦ ¦ *env <- put *env, sandbox:offset, curr
 523   ¦ }
 524   ¦ {
 525   ¦ ¦ break-unless idx
 526   ¦ ¦ *prev <- put *prev, next-sandbox:offset, curr
 527   ¦ }
 528   ¦ idx <- add idx, 1
 529   ¦ prev <- copy curr
 530   ¦ loop
 531   }
 532   # update sandbox count
 533   *env <- put *env, number-of-sandboxes:offset, idx
 534 ]
 535 
 536 # print the fake sandbox screen to 'screen' with appropriate delimiters
 537 # leave cursor at start of next line
 538 def render-screen screen:&:screen, sandbox-screen:&:screen, left:num, right:num, row:num -> row:num, screen:&:screen [
 539   local-scope
 540   load-ingredients
 541   return-unless sandbox-screen
 542   # print 'screen:'
 543   row <- render-text screen, [screen:], left, right, 245/grey, row
 544   screen <- move-cursor screen, row, left
 545   # start printing sandbox-screen
 546   column:num <- copy left
 547   s-width:num <- screen-width sandbox-screen
 548   s-height:num <- screen-height sandbox-screen
 549   buf:&:@:screen-cell <- get *sandbox-screen, data:offset
 550   stop-printing:num <- add left, s-width, 3
 551   max-column:num <- min stop-printing, right
 552   i:num <- copy 0
 553   len:num <- length *buf
 554   screen-height:num <- screen-height screen
 555   {
 556   ¦ done?:bool <- greater-or-equal i, len
 557   ¦ break-if done?
 558   ¦ done? <- greater-or-equal row, screen-height
 559   ¦ break-if done?
 560   ¦ column <- copy left
 561   ¦ screen <- move-cursor screen, row, column
 562   ¦ # initial leader for each row: two spaces and a '.'
 563   ¦ space:char <- copy 32/space
 564   ¦ print screen, space, 245/grey
 565   ¦ print screen, space, 245/grey
 566   ¦ full-stop:char <- copy 46/period
 567   ¦ print screen, full-stop, 245/grey
 568   ¦ column <- add left, 3
 569   ¦ {
 570   ¦ ¦ # print row
 571   ¦ ¦ row-done?:bool <- greater-or-equal column, max-column
 572   ¦ ¦ break-if row-done?
 573   ¦ ¦ curr:screen-cell <- index *buf, i
 574   ¦ ¦ c:char <- get curr, contents:offset
 575   ¦ ¦ color:num <- get curr, color:offset
 576   ¦ ¦ {
 577   ¦ ¦ ¦ # damp whites down to grey
 578   ¦ ¦ ¦ white?:bool <- equal color, 7/white
 579   ¦ ¦ ¦ break-unless white?
 580   ¦ ¦ ¦ color <- copy 245/grey
 581   ¦ ¦ }
 582   ¦ ¦ print screen, c, color
 583   ¦ ¦ column <- add column, 1
 584   ¦ ¦ i <- add i, 1
 585   ¦ ¦ loop
 586   ¦ }
 587   ¦ # print final '.'
 588   ¦ print screen, full-stop, 245/grey
 589   ¦ column <- add column, 1
 590   ¦ {
 591   ¦ ¦ # clear rest of current line
 592   ¦ ¦ line-done?:bool <- greater-than column, right
 593   ¦ ¦ break-if line-done?
 594   ¦ ¦ print screen, space
 595   ¦ ¦ column <- add column, 1
 596   ¦ ¦ loop
 597   ¦ }
 598   ¦ row <- add row, 1
 599   ¦ loop
 600   }
 601 ]
 602 
 603 scenario run-updates-results [
 604   local-scope
 605   trace-until 100/app  # trace too long
 606   assume-screen 100/width, 12/height
 607   # define a recipe (no indent for the 'add' line below so column numbers are more obvious)
 608   assume-resources [
 609   ¦ [lesson/recipes.mu] <- [
 610   ¦ ¦ ||
 611   ¦ ¦ |recipe foo [|
 612   ¦ ¦ |  local-scope|
 613   ¦ ¦ |  z:num <- add 2, 2|
 614   ¦ ¦ |  reply z|
 615   ¦ ¦ |]|
 616   ¦ ]
 617   ]
 618   # sandbox editor contains an instruction without storing outputs
 619   env:&:environment <- new-programming-environment resources, screen, [foo]  # contents of sandbox editor
 620   # run the code in the editors
 621   assume-console [
 622   ¦ press F4
 623   ]
 624   event-loop screen, console, env, resources
 625   screen-should-contain [
 626   ¦ .                                                                                 run (F4)           .
 627   ¦ .                                                  ╎                                                 .
 628   ¦ .recipe foo [                                      ╎─────────────────────────────────────────────────.
 629   ¦ .  local-scope                                     ╎0   edit          copy            delete         .
 630   ¦ .  z:num <- add 2, 2                               ╎foo                                              .
 631   ¦ .  reply z                                         ╎4                                                .
 632   ¦ .]                                                 ╎─────────────────────────────────────────────────.
 633   ¦ .                                                  ╎                                                 .
 634   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
 635   ¦ .                                                  ╎                                                 .
 636   ]
 637   # make a change (incrementing one of the args to 'add'), then rerun
 638   assume-console [
 639   ¦ left-click 4, 28  # one past the value of the second arg
 640   ¦ press backspace
 641   ¦ type [3]
 642   ¦ press F4
 643   ]
 644   run [
 645   ¦ event-loop screen, console, env, resources
 646   ]
 647   # check that screen updates the result on the right
 648   screen-should-contain [
 649   ¦ .                                                                                 run (F4)           .
 650   ¦ .                                                  ╎                                                 .
 651   ¦ .recipe foo [                                      ╎─────────────────────────────────────────────────.
 652   ¦ .  local-scope                                     ╎0   edit          copy            delete         .
 653   ¦ .  z:num <- add 2, 3                               ╎foo                                              .
 654   ¦ .  reply z                                         ╎5                                                .
 655   ¦ .]                                                 ╎─────────────────────────────────────────────────.
 656   ¦ .                                                  ╎                                                 .
 657   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
 658   ¦ .                                                  ╎                                                 .
 659   ]
 660 ]
 661 
 662 scenario run-instruction-manages-screen-per-sandbox [
 663   local-scope
 664   trace-until 100/app  # trace too long
 665   assume-screen 100/width, 20/height
 666   # empty recipes
 667   assume-resources [
 668   ]
 669   # sandbox editor contains an instruction
 670   env:&:environment <- new-programming-environment resources, screen, [print screen, 4]  # contents of sandbox editor
 671   # run the code in the editor
 672   assume-console [
 673   ¦ press F4
 674   ]
 675   run [
 676   ¦ event-loop screen, console, env, resources
 677   ]
 678   # check that it prints a little toy screen
 679   screen-should-contain [
 680   ¦ .                                                                                 run (F4)           .
 681   ¦ .                                                  ╎                                                 .
 682   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
 683   ¦ .                                                  ╎0   edit          copy            delete         .
 684   ¦ .                                                  ╎print screen, 4                                  .
 685   ¦ .                                                  ╎screen:                                          .
 686   ¦ .                                                  ╎  .4                             .               .
 687   ¦ .                                                  ╎  .                              .               .
 688   ¦ .                                                  ╎  .                              .               .
 689   ¦ .                                                  ╎  .                              .               .
 690   ¦ .                                                  ╎  .                              .               .
 691   ¦ .                                                  ╎─────────────────────────────────────────────────.
 692   ¦ .                                                  ╎                                                 .
 693   ]
 694 ]
 695 
 696 def editor-contents editor:&:editor -> result:text [
 697   local-scope
 698   load-ingredients
 699   buf:&:buffer <- new-buffer 80
 700   curr:&:duplex-list:char <- get *editor, data:offset
 701   # skip § sentinel
 702   assert curr, [editor without data is illegal; must have at least a sentinel]
 703   curr <- next curr
 704   return-unless curr, 0
 705   {
 706   ¦ break-unless curr
 707   ¦ c:char <- get *curr, value:offset
 708   ¦ buf <- append buf, c
 709   ¦ curr <- next curr
 710   ¦ loop
 711   }
 712   result <- buffer-to-array buf
 713 ]
 714 
 715 scenario editor-provides-edited-contents [
 716   local-scope
 717   assume-screen 10/width, 5/height
 718   e:&:editor <- new-editor [abc], 0/left, 10/right
 719   assume-console [
 720   ¦ left-click 1, 2
 721   ¦ type [def]
 722   ]
 723   run [
 724   ¦ editor-event-loop screen, console, e
 725   ¦ s:text <- editor-contents e
 726   ¦ 1:@:char/raw <- copy *s
 727   ]
 728   memory-should-contain [
 729   ¦ 1:array:character <- [abdefc]
 730   ]
 731 ]
 732 
 733 # keep the bottom of recipes from scrolling off the screen
 734 
 735 scenario scrolling-down-past-bottom-of-recipe-editor [
 736   local-scope
 737   trace-until 100/app
 738   assume-screen 100/width, 10/height
 739   assume-resources [
 740   ]
 741   env:&:environment <- new-programming-environment resources, screen, []
 742   render-all screen, env, render
 743   assume-console [
 744   ¦ press enter
 745   ¦ press down-arrow
 746   ]
 747   event-loop screen, console, env, resources
 748   # no scroll
 749   screen-should-contain [
 750   ¦ .                                                                                 run (F4)           .
 751   ¦ .                                                  ╎                                                 .
 752   ¦ .                                                  ╎─────────────────────────────────────────────────.
 753   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
 754   ¦ .                                                  ╎                                                 .
 755   ]
 756 ]
 757 
 758 scenario cursor-down-in-recipe-editor [
 759   local-scope
 760   trace-until 100/app
 761   assume-screen 100/width, 10/height
 762   assume-resources [
 763   ]
 764   env:&:environment <- new-programming-environment resources, screen, []
 765   render-all screen, env, render
 766   assume-console [
 767   ¦ press enter
 768   ¦ press up-arrow
 769   ¦ press down-arrow  # while cursor isn't at bottom
 770   ]
 771   event-loop screen, console, env, resources
 772   cursor:char <- copy 9251/␣
 773   print screen, cursor
 774   # cursor moves back to bottom
 775   screen-should-contain [
 776   ¦ .                                                                                 run (F4)           .
 777   ¦ .                                                  ╎                                                 .
 778   ¦ .␣                                                 ╎─────────────────────────────────────────────────.
 779   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
 780   ¦ .                                                  ╎                                                 .
 781   ]
 782 ]
 783 
 784 # we'll not use the recipe-editor's 'bottom' element directly, because later
 785 # layers will add other stuff to the left side below the editor (error messages)
 786 
 787 container environment [
 788   recipe-bottom:num
 789 ]
 790 
 791 after <render-recipe-components-end> [
 792   *env <- put *env, recipe-bottom:offset, row
 793 ]
 794 
 795 after <global-keypress> [
 796   {
 797   ¦ break-if sandbox-in-focus?
 798   ¦ down-arrow?:bool <- equal k, 65516/down-arrow
 799   ¦ break-unless down-arrow?
 800   ¦ recipe-editor:&:editor <- get *env, recipes:offset
 801   ¦ recipe-cursor-row:num <- get *recipe-editor, cursor-row:offset
 802   ¦ recipe-editor-bottom:num <- get *recipe-editor, bottom:offset
 803   ¦ at-bottom-of-editor?:bool <- greater-or-equal recipe-cursor-row, recipe-editor-bottom
 804   ¦ break-unless at-bottom-of-editor?
 805   ¦ more-to-scroll?:bool <- more-to-scroll? env, screen
 806   ¦ break-if more-to-scroll?
 807   ¦ loop +next-event
 808   }
 809   {
 810   ¦ break-if sandbox-in-focus?
 811   ¦ page-down?:bool <- equal k, 65518/page-down
 812   ¦ break-unless page-down?
 813   ¦ more-to-scroll?:bool <- more-to-scroll? env, screen
 814   ¦ break-if more-to-scroll?
 815   ¦ loop +next-event
 816   }
 817 ]
 818 
 819 after <global-type> [
 820   {
 821   ¦ break-if sandbox-in-focus?
 822   ¦ page-down?:bool <- equal k, 6/ctrl-f
 823   ¦ break-unless page-down?
 824   ¦ more-to-scroll?:bool <- more-to-scroll? env, screen
 825   ¦ break-if more-to-scroll?
 826   ¦ loop +next-event
 827   }
 828 ]
 829 
 830 def more-to-scroll? env:&:environment, screen:&:screen -> result:bool [
 831   local-scope
 832   load-ingredients
 833   recipe-bottom:num <- get *env, recipe-bottom:offset
 834   height:num <- screen-height screen
 835   result <- greater-or-equal recipe-bottom, height
 836 ]
 837 
 838 scenario scrolling-down-past-bottom-of-recipe-editor-2 [
 839   local-scope
 840   trace-until 100/app
 841   assume-screen 100/width, 10/height
 842   assume-resources [
 843   ]
 844   env:&:environment <- new-programming-environment resources, screen, []
 845   render-all screen, env, render
 846   assume-console [
 847   ¦ # add a line
 848   ¦ press enter
 849   ¦ # cursor back to top line
 850   ¦ press up-arrow
 851   ¦ # try to scroll
 852   ¦ press page-down  # or ctrl-f
 853   ]
 854   event-loop screen, console, env, resources
 855   # no scroll, and cursor remains at top line
 856   screen-should-contain [
 857   ¦ .                                                                                 run (F4)           .
 858   ¦ .                                                  ╎                                                 .
 859   ¦ .                                                  ╎─────────────────────────────────────────────────.
 860   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎                                                 .
 861   ¦ .                                                  ╎                                                 .
 862   ]
 863 ]
 864 
 865 scenario scrolling-down-past-bottom-of-recipe-editor-3 [
 866   local-scope
 867   trace-until 100/app
 868   assume-screen 100/width, 10/height
 869   assume-resources [
 870   ]
 871   env:&:environment <- new-programming-environment resources, screen, [ab
 872 cd]
 873   render-all screen, env, render
 874   assume-console [
 875   ¦ # add a line
 876   ¦ press enter
 877   ¦ # switch to sandbox
 878   ¦ press ctrl-n
 879   ¦ # move cursor
 880   ¦ press down-arrow
 881   ]
 882   event-loop screen, console, env, resources
 883   cursor:char <- copy 9251/␣
 884   print screen, cursor
 885   # no scroll on recipe side, cursor moves on sandbox side
 886   screen-should-contain [
 887   ¦ .                                                                                 run (F4)           .
 888   ¦ .                                                  ╎ab                                               .
 889   ¦ .                                                  ╎␣d                                               .
 890   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
 891   ¦ .                                                  ╎                                                 .
 892   ]
 893 ]
 894 
 895 # scrolling through sandboxes
 896 
 897 scenario scrolling-down-past-bottom-of-sandbox-editor [
 898   local-scope
 899   trace-until 100/app  # trace too long
 900   assume-screen 100/width, 10/height
 901   # initialize
 902   assume-resources [
 903   ]
 904   env:&:environment <- new-programming-environment resources, screen, [add 2, 2]
 905   render-all screen, env, render
 906   assume-console [
 907   ¦ # create a sandbox
 908   ¦ press F4
 909   ]
 910   event-loop screen, console, env, resources
 911   screen-should-contain [
 912   ¦ .                                                                                 run (F4)           .
 913   ¦ .                                                  ╎                                                 .
 914   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
 915   ¦ .                                                  ╎0   edit          copy            delete         .
 916   ¦ .                                                  ╎add 2, 2                                         .
 917   ]
 918   # switch to sandbox window and hit 'page-down'
 919   assume-console [
 920   ¦ press ctrl-n
 921   ¦ press page-down
 922   ]
 923   run [
 924   ¦ event-loop screen, console, env, resources
 925   ¦ cursor:char <- copy 9251/␣
 926   ¦ print screen, cursor
 927   ]
 928   # sandbox editor hidden; first sandbox displayed
 929   # cursor moves to first sandbox
 930   screen-should-contain [
 931   ¦ .                                                                                 run (F4)           .
 932   ¦ .                                                  ╎─────────────────────────────────────────────────.
 933   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎␣   edit          copy            delete         .
 934   ¦ .                                                  ╎add 2, 2                                         .
 935   ¦ .                                                  ╎4                                                .
 936   ]
 937   # hit 'page-up'
 938   assume-console [
 939   ¦ press page-up
 940   ]
 941   run [
 942   ¦ event-loop screen, console, env, resources
 943   ¦ cursor:char <- copy 9251/␣
 944   ¦ print screen, cursor
 945   ]
 946   # sandbox editor displays again, cursor is in editor
 947   screen-should-contain [
 948   ¦ .                                                                                 run (F4)           .
 949   ¦ .                                                  ╎␣                                                .
 950   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
 951   ¦ .                                                  ╎0   edit          copy            delete         .
 952   ¦ .                                                  ╎add 2, 2                                         .
 953   ]
 954 ]
 955 
 956 # page-down on sandbox side updates render-from to scroll sandboxes
 957 after <global-keypress> [
 958   {
 959   ¦ break-unless sandbox-in-focus?
 960   ¦ page-down?:bool <- equal k, 65518/page-down
 961   ¦ break-unless page-down?
 962   ¦ sandbox:&:sandbox <- get *env, sandbox:offset
 963   ¦ break-unless sandbox
 964   ¦ # slide down if possible
 965   ¦ {
 966   ¦ ¦ render-from:num <- get *env, render-from:offset
 967   ¦ ¦ number-of-sandboxes:num <- get *env, number-of-sandboxes:offset
 968   ¦ ¦ max:num <- subtract number-of-sandboxes, 1
 969   ¦ ¦ at-end?:bool <- greater-or-equal render-from, max
 970   ¦ ¦ jump-if at-end?, +finish-event  # render nothing
 971   ¦ ¦ render-from <- add render-from, 1
 972   ¦ ¦ *env <- put *env, render-from:offset, render-from
 973   ¦ }
 974   ¦ screen <- render-sandbox-side screen, env, render
 975   ¦ jump +finish-event
 976   }
 977 ]
 978 
 979 # update-cursor takes render-from into account
 980 after <update-cursor-special-cases> [
 981   {
 982   ¦ break-unless sandbox-in-focus?
 983   ¦ render-from:num <- get *env, render-from:offset
 984   ¦ scrolling?:bool <- greater-or-equal render-from, 0
 985   ¦ break-unless scrolling?
 986   ¦ cursor-column:num <- get *current-sandbox, left:offset
 987   ¦ screen <- move-cursor screen, 2/row, cursor-column  # highlighted sandbox will always start at row 2
 988   ¦ return
 989   }
 990 ]
 991 
 992 # 'page-up' on sandbox side is like 'page-down': updates render-from when necessary
 993 after <global-keypress> [
 994   {
 995   ¦ break-unless sandbox-in-focus?
 996   ¦ page-up?:bool <- equal k, 65519/page-up
 997   ¦ break-unless page-up?
 998   ¦ render-from:num <- get *env, render-from:offset
 999   ¦ at-beginning?:bool <- equal render-from, -1
1000   ¦ break-if at-beginning?
1001   ¦ render-from <- subtract render-from, 1
1002   ¦ *env <- put *env, render-from:offset, render-from
1003   ¦ screen <- render-sandbox-side screen, env, render
1004   ¦ jump +finish-event
1005   }
1006 ]
1007 
1008 # sandbox belonging to 'env' whose next-sandbox is 'in'
1009 # return 0 if there's no such sandbox, either because 'in' doesn't exist in 'env', or because it's the first sandbox
1010 def previous-sandbox env:&:environment, in:&:sandbox -> out:&:sandbox [
1011   local-scope
1012   load-ingredients
1013   curr:&:sandbox <- get *env, sandbox:offset
1014   return-unless curr, 0/nil
1015   next:&:sandbox <- get *curr, next-sandbox:offset
1016   {
1017   ¦ return-unless next, 0/nil
1018   ¦ found?:bool <- equal next, in
1019   ¦ break-if found?
1020   ¦ curr <- copy next
1021   ¦ next <- get *curr, next-sandbox:offset
1022   ¦ loop
1023   }
1024   return curr
1025 ]
1026 
1027 scenario scrolling-down-past-bottom-on-recipe-side [
1028   local-scope
1029   trace-until 100/app  # trace too long
1030   assume-screen 100/width, 10/height
1031   # initialize sandbox side and create a sandbox
1032   assume-resources [
1033   ¦ [lesson/recipes.mu] <- [
1034   ¦ ¦ ||  # file containing just a newline
1035   ¦ ]
1036   ]
1037   # create a sandbox
1038   env:&:environment <- new-programming-environment resources, screen, [add 2, 2]
1039   render-all screen, env, render
1040   assume-console [
1041   ¦ press F4
1042   ]
1043   event-loop screen, console, env, resources
1044   # hit 'down' in recipe editor
1045   assume-console [
1046   ¦ press page-down
1047   ]
1048   run [
1049   ¦ event-loop screen, console, env, resources
1050   ¦ cursor:char <- copy 9251/␣
1051   ¦ print screen, cursor
1052   ]
1053   # cursor doesn't move when the end is already on-screen
1054   screen-should-contain [
1055   ¦ .                                                                                 run (F4)           .
1056   ¦ .␣                                                 ╎                                                 .
1057   ¦ .                                                  ╎─────────────────────────────────────────────────.
1058   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .
1059   ¦ .                                                  ╎add 2, 2                                         .
1060   ]
1061 ]
1062 
1063 scenario scrolling-through-multiple-sandboxes [
1064   local-scope
1065   trace-until 100/app  # trace too long
1066   assume-screen 100/width, 10/height
1067   # initialize environment
1068   assume-resources [
1069   ]
1070   env:&:environment <- new-programming-environment resources, screen, []
1071   render-all screen, env, render
1072   # create 2 sandboxes
1073   assume-console [
1074   ¦ press ctrl-n
1075   ¦ type [add 2, 2]
1076   ¦ press F4
1077   ¦ type [add 1, 1]
1078   ¦ press F4
1079   ]
1080   event-loop screen, console, env, resources
1081   cursor:char <- copy 9251/␣
1082   print screen, cursor
1083   screen-should-contain [
1084   ¦ .                                                                                 run (F4)           .
1085   ¦ .                                                  ╎␣                                                .
1086   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
1087   ¦ .                                                  ╎0   edit          copy            delete         .
1088   ¦ .                                                  ╎add 1, 1                                         .
1089   ¦ .                                                  ╎2                                                .
1090   ¦ .                                                  ╎─────────────────────────────────────────────────.
1091   ¦ .                                                  ╎1   edit          copy            delete         .
1092   ¦ .                                                  ╎add 2, 2                                         .
1093   ¦ .                                                  ╎4                                                .
1094   ]
1095   # hit 'page-down'
1096   assume-console [
1097   ¦ press page-down
1098   ]
1099   run [
1100   ¦ event-loop screen, console, env, resources
1101   ¦ cursor:char <- copy 9251/␣
1102   ¦ print screen, cursor
1103   ]
1104   # sandbox editor hidden; first sandbox displayed
1105   # cursor moves to first sandbox
1106   screen-should-contain [
1107   ¦ .                                                                                 run (F4)           .
1108   ¦ .                                                  ╎─────────────────────────────────────────────────.
1109   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎␣   edit          copy            delete         .
1110   ¦ .                                                  ╎add 1, 1                                         .
1111   ¦ .                                                  ╎2                                                .
1112   ¦ .                                                  ╎─────────────────────────────────────────────────.
1113   ¦ .                                                  ╎1   edit          copy            delete         .
1114   ¦ .                                                  ╎add 2, 2                                         .
1115   ¦ .                                                  ╎4                                                .
1116   ]
1117   # hit 'page-down' again
1118   assume-console [
1119   ¦ press page-down
1120   ]
1121   run [
1122   ¦ event-loop screen, console, env, resources
1123   ]
1124   # just second sandbox displayed
1125   screen-should-contain [
1126   ¦ .                                                                                 run (F4)           .
1127   ¦ .                                                  ╎─────────────────────────────────────────────────.
1128   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1   edit          copy            delete         .
1129   ¦ .                                                  ╎add 2, 2                                         .
1130   ¦ .                                                  ╎4                                                .
1131   ¦ .                                                  ╎─────────────────────────────────────────────────.
1132   ¦ .                                                  ╎                                                 .
1133   ]
1134   # hit 'page-down' again
1135   assume-console [
1136   ¦ press page-down
1137   ]
1138   run [
1139   ¦ event-loop screen, console, env, resources
1140   ]
1141   # no change
1142   screen-should-contain [
1143   ¦ .                                                                                 run (F4)           .
1144   ¦ .                                                  ╎─────────────────────────────────────────────────.
1145   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1   edit          copy            delete         .
1146   ¦ .                                                  ╎add 2, 2                                         .
1147   ¦ .                                                  ╎4                                                .
1148   ¦ .                                                  ╎─────────────────────────────────────────────────.
1149   ¦ .                                                  ╎                                                 .
1150   ]
1151   # hit 'page-up'
1152   assume-console [
1153   ¦ press page-up
1154   ]
1155   run [
1156   ¦ event-loop screen, console, env, resources
1157   ]
1158   # back to displaying both sandboxes without editor
1159   screen-should-contain [
1160   ¦ .                                                                                 run (F4)           .
1161   ¦ .                                                  ╎─────────────────────────────────────────────────.
1162   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .
1163   ¦ .                                                  ╎add 1, 1                                         .
1164   ¦ .                                                  ╎2                                                .
1165   ¦ .                                                  ╎─────────────────────────────────────────────────.
1166   ¦ .                                                  ╎1   edit          copy            delete         .
1167   ¦ .                                                  ╎add 2, 2                                         .
1168   ¦ .                                                  ╎4                                                .
1169   ]
1170   # hit 'page-up' again
1171   assume-console [
1172   ¦ press page-up
1173   ]
1174   run [
1175   ¦ event-loop screen, console, env, resources
1176   ¦ cursor:char <- copy 9251/␣
1177   ¦ print screen, cursor
1178   ]
1179   # back to displaying both sandboxes as well as editor
1180   screen-should-contain [
1181   ¦ .                                                                                 run (F4)           .
1182   ¦ .                                                  ╎␣                                                .
1183   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
1184   ¦ .                                                  ╎0   edit          copy            delete         .
1185   ¦ .                                                  ╎add 1, 1                                         .
1186   ¦ .                                                  ╎2                                                .
1187   ¦ .                                                  ╎─────────────────────────────────────────────────.
1188   ¦ .                                                  ╎1   edit          copy            delete         .
1189   ¦ .                                                  ╎add 2, 2                                         .
1190   ¦ .                                                  ╎4                                                .
1191   ]
1192   # hit 'page-up' again
1193   assume-console [
1194   ¦ press page-up
1195   ]
1196   run [
1197   ¦ event-loop screen, console, env, resources
1198   ¦ cursor:char <- copy 9251/␣
1199   ¦ print screen, cursor
1200   ]
1201   # no change
1202   screen-should-contain [
1203   ¦ .                                                                                 run (F4)           .
1204   ¦ .                                                  ╎␣                                                .
1205   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
1206   ¦ .                                                  ╎0   edit          copy            delete         .
1207   ¦ .                                                  ╎add 1, 1                                         .
1208   ¦ .                                                  ╎2                                                .
1209   ¦ .                                                  ╎─────────────────────────────────────────────────.
1210   ¦ .                                                  ╎1   edit          copy            delete         .
1211   ¦ .                                                  ╎add 2, 2                                         .
1212   ¦ .                                                  ╎4                                                .
1213   ]
1214 ]
1215 
1216 scenario scrolling-manages-sandbox-index-correctly [
1217   local-scope
1218   trace-until 100/app  # trace too long
1219   assume-screen 100/width, 10/height
1220   # initialize environment
1221   assume-resources [
1222   ]
1223   env:&:environment <- new-programming-environment resources, screen, []
1224   render-all screen, env, render
1225   # create a sandbox
1226   assume-console [
1227   ¦ press ctrl-n
1228   ¦ type [add 1, 1]
1229   ¦ press F4
1230   ]
1231   event-loop screen, console, env, resources
1232   screen-should-contain [
1233   ¦ .                                                                                 run (F4)           .
1234   ¦ .                                                  ╎                                                 .
1235   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
1236   ¦ .                                                  ╎0   edit          copy            delete         .
1237   ¦ .                                                  ╎add 1, 1                                         .
1238   ¦ .                                                  ╎2                                                .
1239   ¦ .                                                  ╎─────────────────────────────────────────────────.
1240   ¦ .                                                  ╎                                                 .
1241   ]
1242   # hit 'page-down' and 'page-up' a couple of times. sandbox index should be stable
1243   assume-console [
1244   ¦ press page-down
1245   ]
1246   run [
1247   ¦ event-loop screen, console, env, resources
1248   ]
1249   # sandbox editor hidden; first sandbox displayed
1250   # cursor moves to first sandbox
1251   screen-should-contain [
1252   ¦ .                                                                                 run (F4)           .
1253   ¦ .                                                  ╎─────────────────────────────────────────────────.
1254   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .
1255   ¦ .                                                  ╎add 1, 1                                         .
1256   ¦ .                                                  ╎2                                                .
1257   ¦ .                                                  ╎─────────────────────────────────────────────────.
1258   ¦ .                                                  ╎                                                 .
1259   ]
1260   # hit 'page-up' again
1261   assume-console [
1262   ¦ press page-up
1263   ]
1264   run [
1265   ¦ event-loop screen, console, env, resources
1266   ]
1267   # back to displaying both sandboxes as well as editor
1268   screen-should-contain [
1269   ¦ .                                                                                 run (F4)           .
1270   ¦ .                                                  ╎                                                 .
1271   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.
1272   ¦ .                                                  ╎0   edit          copy            delete         .
1273   ¦ .                                                  ╎add 1, 1                                         .
1274   ¦ .                                                  ╎2                                                .
1275   ¦ .                                                  ╎─────────────────────────────────────────────────.
1276   ¦ .                                                  ╎                                                 .
1277   ]
1278   # hit 'page-down'
1279   assume-console [
1280   ¦ press page-down
1281   ]
1282   run [
1283   ¦ event-loop screen, console, env, resources
1284   ]
1285   # sandbox editor hidden; first sandbox displayed
1286   # cursor moves to first sandbox
1287   screen-should-contain [
1288   ¦ .                                                                                 run (F4)           .
1289   ¦ .                                                  ╎─────────────────────────────────────────────────.
1290   ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .
1291   ¦ .                                                  ╎add 1, 1                                         .
1292   ¦ .                                                  ╎2                                                .
1293   ¦ .                                                  ╎─────────────────────────────────────────────────.
1294   ¦ .                                                  ╎                                                 .
1295   ]
1296 ]