mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

	Commit message (Collapse)	Author	Age	Files	Lines
*	4544	Kartik Agaram	2018-09-12	1	-21/+62
\| \| \| \| \| \| \| \|	Attempt #3 at fixing CI. In the process the feature gets a lot less half-baked. Ridiculously misleading that we had `has_metadata()` was special-cased to one specific transform. I suck.
*	4543	Kartik Agaram	2018-09-12	1	-6/+31
\| \| \| \| \| \| \|	Really fix CI. Also realized we don't need to worry about function pointers. They won't be in /disp32 fields.
*	4542	Kartik Agaram	2018-09-12	1	-2/+2
\| \| \| \|	Fix CI (`subx translate examples/ex6.subx examples/ex6`)
*	4535 - support for global variable names	Kartik Agaram	2018-09-01	1	-0/+111

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - edit/005-sandbox.mu</title> <meta name="Generator" content="Vim/7.4"> <meta name="plugin-version" content="vim7.4_v2"> <meta name="syntax" content="none"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <pre id='vimCodeElement'> 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> 0/filesystem, 0/screen 14 env <- <a href='005-sandbox.mu.html#L504'>restore-sandboxes</a> env 15 <a href='004-programming-environment.mu.html#L395'>render-all</a> 0/screen, env, <a href='001-editor.mu.html#L123'>render</a> 16 <a href='004-programming-environment.mu.html#L39'>event-loop</a> 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 <a href='004-programming-environment.mu.html#L36'><programming-environment-initialization></a> [ 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 <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> # 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [divide-with-remainder 11, 3] 50 # run the code in the editors 51 assume-console [ 52 ¦ press F4 53 ] 54 run [ 55 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 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 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 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 <a href='004-programming-environment.mu.html#L61'><global-keypress></a> [ 126 # F4? load all code and run all sandboxes. 127 { 128 ¦ do-run?:bool <- equal k, 65532/F4 129 ¦ break-unless do-run? 130 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='005-sandbox.mu.html#L213'>update-status</a> <a href='../081print.mu.html#L4'>screen</a>, [running... ], 245/grey 131 ¦ error?:bool <- <a href='005-sandbox.mu.html#L143'>run-sandboxes</a> env, <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a> 132 ¦ # F4 might update warnings and results on both sides 133 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 134 ¦ { 135 ¦ ¦ break-if error? 136 ¦ ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='005-sandbox.mu.html#L213'>update-status</a> <a href='../081print.mu.html#L4'>screen</a>, [ ], 245/grey 137 ¦ } 138 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='004-programming-environment.mu.html#L461'>update-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, recipes, current-sandbox, sandbox-in-focus?, env 139 ¦ loop +next-event 140 } 141 ] 142 143 def <a href='005-sandbox.mu.html#L143'>run-sandboxes</a> env:&:environment, <a href='../088file.mu.html#L11'>resources</a>:&:<a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> -> errors-found?:bool, env:&:environment, <a href='../088file.mu.html#L11'>resources</a>:&:<a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> [ 144 local-scope 145 load-ingredients 146 errors-found?:bool <- update-recipes env, <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a> 147 jump-if errors-found?, +return 148 # check contents of right editor (sandbox) 149 <a href='005-sandbox.mu.html#L149'><run-sandboxes-begin></a> 150 current-sandbox:&:editor <- get *env, current-sandbox:offset 151 { 152 ¦ sandbox-contents:text <- <a href='005-sandbox.mu.html#L696'>editor-contents</a> 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:&:<a href='../065duplex_list.mu.html#L3'>duplex-list</a>: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 <a href='005-sandbox.mu.html#L220'>save-sandboxes</a> env, <a href='../088file.mu.html#L11'>resources</a> 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 <a href='005-sandbox.mu.html#L183'><run-sandboxes-end></a> 184 +return 185 { 186 ¦ break-if <a href='../088file.mu.html#L11'>resources</a> # 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, <a href='../088file.mu.html#L11'>resources</a>:&:<a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> -> errors-found?:bool, env:&:environment, <a href='../088file.mu.html#L11'>resources</a>:&:<a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> [ 194 local-scope 195 load-ingredients 196 recipes:&:editor <- get *env, recipes:offset 197 in:text <- <a href='005-sandbox.mu.html#L696'>editor-contents</a> recipes 198 <a href='../088file.mu.html#L11'>resources</a> <- <a href='../088file.mu.html#L127'>dump</a> <a href='../088file.mu.html#L11'>resources</a>, [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:&:<a href='../081print.mu.html#L4'>screen</a> <- run-sandboxed data 209 *sandbox <- put *sandbox, response:offset, response 210 *sandbox <- put *sandbox, <a href='../081print.mu.html#L4'>screen</a>:offset, fake-screen 211 ] 212 213 def <a href='005-sandbox.mu.html#L213'>update-status</a> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, msg:text, color:num -> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> [ 214 local-scope 215 load-ingredients 216 <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, 0, 2 217 <a href='../081print.mu.html#L4'>screen</a> <- print <a href='../081print.mu.html#L4'>screen</a>, msg, color, 238/grey/background 218 ] 219 220 def <a href='005-sandbox.mu.html#L220'>save-sandboxes</a> env:&:environment, <a href='../088file.mu.html#L11'>resources</a>:&:<a href='../088file.mu.html#L11'>resources</a> -> <a href='../088file.mu.html#L11'>resources</a>:&:<a href='../088file.mu.html#L11'>resources</a> [ 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 ¦ <a href='../088file.mu.html#L11'>resources</a> <- <a href='../088file.mu.html#L127'>dump</a> <a href='../088file.mu.html#L11'>resources</a>, filename, data 233 ¦ <a href='005-sandbox.mu.html#L233'><end-save-sandbox></a> 234 ¦ idx <- add idx, 1 235 ¦ curr <- get *curr, next-sandbox:offset 236 ¦ loop 237 } 238 ] 239 240 def! render-sandbox-side <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, env:&:environment, {render-editor: (recipe (address screen) (address editor) -> number number (address screen) (address editor))} -> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, 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, <a href='../081print.mu.html#L4'>screen</a>, current-sandbox <- call render-editor, <a href='../081print.mu.html#L4'>screen</a>, current-sandbox 254 ¦ <a href='001-editor.mu.html#L223'>clear-screen-from</a> <a href='../081print.mu.html#L4'>screen</a>, row, column, left, right 255 ¦ row <- add row, 1 256 } 257 # render sandboxes 258 <a href='002-typing.mu.html#L1056'>draw-horizontal</a> <a href='../081print.mu.html#L4'>screen</a>, row, left, right 259 sandbox:&:sandbox <- get *env, sandbox:offset 260 row, <a href='../081print.mu.html#L4'>screen</a> <- <a href='005-sandbox.mu.html#L264'>render-sandboxes</a> <a href='../081print.mu.html#L4'>screen</a>, sandbox, left, right, row, render-from 261 <a href='001-editor.mu.html#L238'>clear-rest-of-screen</a> <a href='../081print.mu.html#L4'>screen</a>, row, left, right 262 ] 263 264 def <a href='005-sandbox.mu.html#L264'>render-sandboxes</a> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, sandbox:&:sandbox, left:num, right:num, row:num, render-from:num, idx:num -> row:num, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, sandbox:&:sandbox [ 265 local-scope 266 load-ingredients 267 return-unless sandbox 268 <a href='../081print.mu.html#L594'>screen-height</a>:num <- <a href='../081print.mu.html#L594'>screen-height</a> <a href='../081print.mu.html#L4'>screen</a> 269 at-bottom?:bool <- greater-or-equal row, <a href='../081print.mu.html#L594'>screen-height</a> 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 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, left 277 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='005-sandbox.mu.html#L319'>render-sandbox-menu</a> <a href='../081print.mu.html#L4'>screen</a>, 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 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, left 283 ¦ sandbox-data:text <- get *sandbox, data:offset 284 ¦ row, <a href='../081print.mu.html#L4'>screen</a> <- <a href='005-sandbox.mu.html#L439'>render-code</a> <a href='../081print.mu.html#L4'>screen</a>, 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 ¦ <a href='005-sandbox.mu.html#L288'><render-sandbox-results></a> 289 ¦ { 290 ¦ ¦ sandbox-screen:&:<a href='../081print.mu.html#L4'>screen</a> <- get *sandbox, <a href='../081print.mu.html#L4'>screen</a>:offset 291 ¦ ¦ empty-screen?:bool <- <a href='../081print.mu.html#L60'>fake-screen-is-empty?</a> sandbox-screen 292 ¦ ¦ break-if empty-screen? 293 ¦ ¦ row, <a href='../081print.mu.html#L4'>screen</a> <- <a href='005-sandbox.mu.html#L538'>render-screen</a> <a href='../081print.mu.html#L4'>screen</a>, sandbox-screen, left, right, row 294 ¦ } 295 ¦ { 296 ¦ ¦ break-unless empty-screen? 297 ¦ ¦ <a href='005-sandbox.mu.html#L297'><render-sandbox-response></a> 298 ¦ ¦ row, <a href='../081print.mu.html#L4'>screen</a> <- <a href='005-sandbox.mu.html#L361'>render-text</a> <a href='../081print.mu.html#L4'>screen</a>, sandbox-response, left, right, 245/grey, row 299 ¦ } 300 ¦ +render-sandbox-end 301 ¦ at-bottom?:bool <- greater-or-equal row, <a href='../081print.mu.html#L594'>screen-height</a> 302 ¦ return-if at-bottom? 303 ¦ # draw solid line after sandbox 304 ¦ <a href='002-typing.mu.html#L1056'>draw-horizontal</a> <a href='../081print.mu.html#L4'>screen</a>, 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 ¦ <a href='005-sandbox.mu.html#L311'><end-render-sandbox-reset-hidden></a> 312 } 313 # draw next sandbox 314 next-sandbox:&:sandbox <- get *sandbox, next-sandbox:offset 315 next-idx:num <- add idx, 1 316 row, <a href='../081print.mu.html#L4'>screen</a> <- <a href='005-sandbox.mu.html#L264'>render-sandboxes</a> <a href='../081print.mu.html#L4'>screen</a>, next-sandbox, left, right, row, render-from, next-idx 317 ] 318 319 def <a href='005-sandbox.mu.html#L319'>render-sandbox-menu</a> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, sandbox-index:num, left:num, right:num -> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> [ 320 local-scope 321 load-ingredients 322 <a href='../081print.mu.html#L574'>move-cursor-to-column</a> <a href='../081print.mu.html#L4'>screen</a>, left 323 edit-button-left:num, edit-button-right:num, copy-button-left:num, copy-button-right:num, delete-button-left:num <- <a href='005-sandbox.mu.html#L344'>sandbox-menu-columns</a> left, right 324 print <a href='../081print.mu.html#L4'>screen</a>, sandbox-index, 232/dark-grey, 245/grey 325 start-buttons:num <- subtract edit-button-left, 1 326 <a href='../081print.mu.html#L408'>clear-line-until</a> <a href='../081print.mu.html#L4'>screen</a>, start-buttons, 245/grey 327 print <a href='../081print.mu.html#L4'>screen</a>, [edit], 232/black, 94/background-orange 328 <a href='../081print.mu.html#L408'>clear-line-until</a> <a href='../081print.mu.html#L4'>screen</a>, edit-button-right, 94/background-orange 329 _, col:num <- <a href='../081print.mu.html#L428'>cursor-position</a> <a href='../081print.mu.html#L4'>screen</a> 330 at-start-of-copy-button?:bool <- equal col, copy-button-left 331 assert at-start-of-copy-button?, [aaa] 332 print <a href='../081print.mu.html#L4'>screen</a>, [copy], 232/black, 58/background-green 333 <a href='../081print.mu.html#L408'>clear-line-until</a> <a href='../081print.mu.html#L4'>screen</a>, copy-button-right, 58/background-green 334 _, col:num <- <a href='../081print.mu.html#L428'>cursor-position</a> <a href='../081print.mu.html#L4'>screen</a> 335 at-start-of-delete-button?:bool <- equal col, delete-button-left 336 assert at-start-of-delete-button?, [bbb] 337 print <a href='../081print.mu.html#L4'>screen</a>, [delete], 232/black, 52/background-red 338 <a href='../081print.mu.html#L408'>clear-line-until</a> <a href='../081print.mu.html#L4'>screen</a>, 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 <a href='005-sandbox.mu.html#L344'>sandbox-menu-columns</a> 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 <a href='005-sandbox.mu.html#L361'>render-text</a> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, s:text, left:num, right:num, color:num, row:num -> row:num, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> [ 362 local-scope 363 load-ingredients 364 return-unless s 365 column:num <- copy left 366 <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, column 367 <a href='../081print.mu.html#L594'>screen-height</a>:num <- <a href='../081print.mu.html#L594'>screen-height</a> <a href='../081print.mu.html#L4'>screen</a> 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, <a href='../081print.mu.html#L594'>screen-height</a> 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 <a href='../081print.mu.html#L4'>screen</a>, space 387 ¦ ¦ ¦ column <- add column, 1 388 ¦ ¦ ¦ loop 389 ¦ ¦ } 390 ¦ ¦ row <- add row, 1 391 ¦ ¦ column <- copy left 392 ¦ ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, 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 <a href='../081print.mu.html#L4'>screen</a>, wrap-icon, 245/grey 403 ¦ ¦ column <- copy left 404 ¦ ¦ row <- add row, 1 405 ¦ ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, column 406 ¦ ¦ # don't increment i 407 ¦ ¦ loop +next-character 408 ¦ } 409 ¦ i <- add i, 1 410 ¦ print <a href='../081print.mu.html#L4'>screen</a>, c, color 411 ¦ column <- add column, 1 412 ¦ loop 413 } 414 was-at-left?:bool <- equal column, left 415 <a href='../081print.mu.html#L408'>clear-line-until</a> <a href='../081print.mu.html#L4'>screen</a>, right 416 { 417 ¦ break-if was-at-left? 418 ¦ row <- add row, 1 419 } 420 <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, 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 ¦ <a href='005-sandbox.mu.html#L361'>render-text</a> <a href='../081print.mu.html#L4'>screen</a>, 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 <a href='005-sandbox.mu.html#L439'>render-code</a> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, s:text, left:num, right:num, row:num -> row:num, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> [ 440 local-scope 441 load-ingredients 442 return-unless s 443 color:num <- copy 7/white 444 column:num <- copy left 445 <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, column 446 <a href='../081print.mu.html#L594'>screen-height</a>:num <- <a href='../081print.mu.html#L594'>screen-height</a> <a href='../081print.mu.html#L4'>screen</a> 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, <a href='../081print.mu.html#L594'>screen-height</a> 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 <a href='../081print.mu.html#L4'>screen</a>, space 467 ¦ ¦ ¦ column <- add column, 1 468 ¦ ¦ ¦ loop 469 ¦ ¦ } 470 ¦ ¦ row <- add row, 1 471 ¦ ¦ column <- copy left 472 ¦ ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, 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 <a href='../081print.mu.html#L4'>screen</a>, wrap-icon, 245/grey 483 ¦ ¦ column <- copy left 484 ¦ ¦ row <- add row, 1 485 ¦ ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, column 486 ¦ ¦ # don't increment i 487 ¦ ¦ loop +next-character 488 ¦ } 489 ¦ i <- add i, 1 490 ¦ print <a href='../081print.mu.html#L4'>screen</a>, c, color 491 ¦ column <- add column, 1 492 ¦ loop 493 } 494 was-at-left?:bool <- equal column, left 495 <a href='../081print.mu.html#L408'>clear-line-until</a> <a href='../081print.mu.html#L4'>screen</a>, right 496 { 497 ¦ break-if was-at-left? 498 ¦ row <- add row, 1 499 } 500 <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, left 501 ] 502 503 # assumes programming environment has no sandboxes; restores them from previous session 504 def <a href='005-sandbox.mu.html#L504'>restore-sandboxes</a> env:&:environment, <a href='../088file.mu.html#L11'>resources</a>:&:<a href='../088file.mu.html#L11'>resources</a> -> 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 <a href='../065duplex_list.mu.html#L36'>prev</a>:&:sandbox <- copy 0 511 { 512 ¦ filename:text <- append [lesson/], idx 513 ¦ contents:text <- <a href='../088file.mu.html#L38'>slurp</a> <a href='../088file.mu.html#L11'>resources</a>, 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 ¦ <a href='005-sandbox.mu.html#L519'><end-restore-sandbox></a> 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 ¦ <a href='../065duplex_list.mu.html#L36'>prev</a> <- 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 <a href='005-sandbox.mu.html#L538'>render-screen</a> <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a>, sandbox-screen:&:<a href='../081print.mu.html#L4'>screen</a>, left:num, right:num, row:num -> row:num, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> [ 539 local-scope 540 load-ingredients 541 return-unless sandbox-screen 542 # print 'screen:' 543 row <- <a href='005-sandbox.mu.html#L361'>render-text</a> <a href='../081print.mu.html#L4'>screen</a>, [screen:], left, right, 245/grey, row 544 <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, left 545 # start printing sandbox-screen 546 column:num <- copy left 547 s-width:num <- <a href='../081print.mu.html#L581'>screen-width</a> sandbox-screen 548 s-height:num <- <a href='../081print.mu.html#L594'>screen-height</a> sandbox-screen 549 buf:&:@:<a href='../081print.mu.html#L12'>screen-cell</a> <- 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 <a href='../081print.mu.html#L594'>screen-height</a>:num <- <a href='../081print.mu.html#L594'>screen-height</a> <a href='../081print.mu.html#L4'>screen</a> 555 { 556 ¦ done?:bool <- greater-or-equal i, len 557 ¦ break-if done? 558 ¦ done? <- greater-or-equal row, <a href='../081print.mu.html#L594'>screen-height</a> 559 ¦ break-if done? 560 ¦ column <- copy left 561 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, row, column 562 ¦ # initial leader for each row: two spaces and a '.' 563 ¦ space:char <- copy 32/space 564 ¦ print <a href='../081print.mu.html#L4'>screen</a>, space, 245/grey 565 ¦ print <a href='../081print.mu.html#L4'>screen</a>, space, 245/grey 566 ¦ full-stop:char <- copy 46/period 567 ¦ print <a href='../081print.mu.html#L4'>screen</a>, 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:<a href='../081print.mu.html#L12'>screen-cell</a> <- 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 <a href='../081print.mu.html#L4'>screen</a>, c, color 583 ¦ ¦ column <- add column, 1 584 ¦ ¦ i <- add i, 1 585 ¦ ¦ loop 586 ¦ } 587 ¦ # print final '.' 588 ¦ print <a href='../081print.mu.html#L4'>screen</a>, 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 <a href='../081print.mu.html#L4'>screen</a>, 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [foo] # contents of sandbox editor 620 # run the code in the editors 621 assume-console [ 622 ¦ press F4 623 ] 624 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 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 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [print <a href='../081print.mu.html#L4'>screen</a>, 4] # contents of sandbox editor 671 # run the code in the editor 672 assume-console [ 673 ¦ press F4 674 ] 675 run [ 676 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 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 <a href='../081print.mu.html#L4'>screen</a>, 4 . 685 ¦ . ╎screen: . 686 ¦ . ╎ .4 . . 687 ¦ . ╎ . . . 688 ¦ . ╎ . . . 689 ¦ . ╎ . . . 690 ¦ . ╎ . . . 691 ¦ . ╎─────────────────────────────────────────────────. 692 ¦ . ╎ . 693 ] 694 ] 695 696 def <a href='005-sandbox.mu.html#L696'>editor-contents</a> editor:&:editor -> result:text [ 697 local-scope 698 load-ingredients 699 buf:&:<a href='../061text.mu.html#L126'>buffer</a>:char <- <a href='../061text.mu.html#L131'>new-buffer</a> 80 700 curr:&:<a href='../065duplex_list.mu.html#L3'>duplex-list</a>:char <- get *editor, data:offset 701 # skip § sentinel 702 assert curr, [editor without data is illegal; must have at least a sentinel] 703 curr <- <a href='../065duplex_list.mu.html#L29'>next</a> 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 <- <a href='../065duplex_list.mu.html#L29'>next</a> curr 710 ¦ loop 711 } 712 result <- <a href='../061text.mu.html#L353'>buffer-to-array</a> buf 713 ] 714 715 scenario editor-provides-edited-contents [ 716 local-scope 717 assume-screen 10/width, 5/height 718 e:&:editor <- <a href='001-editor.mu.html#L52'>new-editor</a> [abc], 0/left, 10/right 719 assume-console [ 720 ¦ left-click 1, 2 721 ¦ type [def] 722 ] 723 run [ 724 ¦ <a href='002-typing.mu.html#L14'>editor-event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, e 725 ¦ s:text <- <a href='005-sandbox.mu.html#L696'>editor-contents</a> 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [] 742 <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 743 assume-console [ 744 ¦ press enter 745 ¦ press down-arrow 746 ] 747 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [] 765 <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 766 assume-console [ 767 ¦ press enter 768 ¦ press up-arrow 769 ¦ press down-arrow # while cursor isn't at bottom 770 ] 771 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 772 cursor:char <- copy 9251/␣ 773 print <a href='../081print.mu.html#L4'>screen</a>, 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 <a href='004-programming-environment.mu.html#L438'><render-recipe-components-end></a> [ 792 *env <- put *env, recipe-bottom:offset, row 793 ] 794 795 after <a href='004-programming-environment.mu.html#L61'><global-keypress></a> [ 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 ¦ <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a>:bool <- <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a> env, <a href='../081print.mu.html#L4'>screen</a> 806 ¦ break-if <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a> 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 ¦ <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a>:bool <- <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a> env, <a href='../081print.mu.html#L4'>screen</a> 814 ¦ break-if <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a> 815 ¦ loop +next-event 816 } 817 ] 818 819 after <a href='004-programming-environment.mu.html#L66'><global-type></a> [ 820 { 821 ¦ break-if sandbox-in-focus? 822 ¦ page-down?:bool <- equal k, 6/ctrl-f 823 ¦ break-unless page-down? 824 ¦ <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a>:bool <- <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a> env, <a href='../081print.mu.html#L4'>screen</a> 825 ¦ break-if <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a> 826 ¦ loop +next-event 827 } 828 ] 829 830 def <a href='005-sandbox.mu.html#L830'>more-to-scroll?</a> env:&:environment, <a href='../081print.mu.html#L4'>screen</a>:&:<a href='../081print.mu.html#L4'>screen</a> -> result:bool [ 831 local-scope 832 load-ingredients 833 recipe-bottom:num <- get *env, recipe-bottom:offset 834 height:num <- <a href='../081print.mu.html#L594'>screen-height</a> <a href='../081print.mu.html#L4'>screen</a> 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [] 845 <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 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 <a href='003-shortcuts.mu.html#L2789'>page-down</a> # or ctrl-f 853 ] 854 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [ab 872 cd] 873 <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 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 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 883 cursor:char <- copy 9251/␣ 884 print <a href='../081print.mu.html#L4'>screen</a>, 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 <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [add 2, 2] 905 <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 906 assume-console [ 907 ¦ # create a sandbox 908 ¦ press F4 909 ] 910 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 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 <a href='003-shortcuts.mu.html#L2789'>page-down</a> 922 ] 923 run [ 924 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 925 ¦ cursor:char <- copy 9251/␣ 926 ¦ print <a href='../081print.mu.html#L4'>screen</a>, 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 <a href='003-shortcuts.mu.html#L2987'>page-up</a> 940 ] 941 run [ 942 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 943 ¦ cursor:char <- copy 9251/␣ 944 ¦ print <a href='../081print.mu.html#L4'>screen</a>, 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 <a href='004-programming-environment.mu.html#L61'><global-keypress></a> [ 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 ¦ ¦ loop-if at-end?, +next-event # render nothing 971 ¦ ¦ render-from <- add render-from, 1 972 ¦ ¦ *env <- put *env, render-from:offset, render-from 973 ¦ } 974 ¦ <a href='../081print.mu.html#L623'>hide-screen</a> <a href='../081print.mu.html#L4'>screen</a> 975 ¦ <a href='../081print.mu.html#L4'>screen</a> <- render-sandbox-side <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 976 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='004-programming-environment.mu.html#L461'>update-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, recipes, current-sandbox, sandbox-in-focus?, env 977 ¦ <a href='../081print.mu.html#L631'>show-screen</a> <a href='../081print.mu.html#L4'>screen</a> 978 ¦ loop +next-event 979 } 980 ] 981 982 # update-cursor takes render-from into account 983 after <a href='004-programming-environment.mu.html#L464'><update-cursor-special-cases></a> [ 984 { 985 ¦ break-unless sandbox-in-focus? 986 ¦ render-from:num <- get *env, render-from:offset 987 ¦ scrolling?:bool <- greater-or-equal render-from, 0 988 ¦ break-unless scrolling? 989 ¦ cursor-column:num <- get *current-sandbox, left:offset 990 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='../081print.mu.html#L442'>move-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, 2/row, cursor-column # highlighted sandbox will always start at row 2 991 ¦ return 992 } 993 ] 994 995 # 'page-up' on sandbox side is like 'page-down': updates render-from when necessary 996 after <a href='004-programming-environment.mu.html#L61'><global-keypress></a> [ 997 { 998 ¦ break-unless sandbox-in-focus? 999 ¦ page-up?:bool <- equal k, 65519/page-up 1000 ¦ break-unless page-up? 1001 ¦ render-from:num <- get *env, render-from:offset 1002 ¦ at-beginning?:bool <- equal render-from, -1 1003 ¦ break-if at-beginning? 1004 ¦ render-from <- subtract render-from, 1 1005 ¦ *env <- put *env, render-from:offset, render-from 1006 ¦ <a href='../081print.mu.html#L623'>hide-screen</a> <a href='../081print.mu.html#L4'>screen</a> 1007 ¦ <a href='../081print.mu.html#L4'>screen</a> <- render-sandbox-side <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 1008 ¦ <a href='../081print.mu.html#L4'>screen</a> <- <a href='004-programming-environment.mu.html#L461'>update-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, recipes, current-sandbox, sandbox-in-focus?, env 1009 ¦ <a href='../081print.mu.html#L631'>show-screen</a> <a href='../081print.mu.html#L4'>screen</a> 1010 ¦ loop +next-event 1011 } 1012 ] 1013 1014 # sandbox belonging to 'env' whose next-sandbox is 'in' 1015 # return 0 if there's no such sandbox, either because 'in' doesn't exist in 'env', or because it's the first sandbox 1016 def <a href='005-sandbox.mu.html#L1016'>previous-sandbox</a> env:&:environment, in:&:sandbox -> out:&:sandbox [ 1017 local-scope 1018 load-ingredients 1019 curr:&:sandbox <- get *env, sandbox:offset 1020 return-unless curr, 0/nil 1021 <a href='../065duplex_list.mu.html#L29'>next</a>:&:sandbox <- get *curr, next-sandbox:offset 1022 { 1023 ¦ return-unless <a href='../065duplex_list.mu.html#L29'>next</a>, 0/nil 1024 ¦ found?:bool <- equal <a href='../065duplex_list.mu.html#L29'>next</a>, in 1025 ¦ break-if found? 1026 ¦ curr <- copy <a href='../065duplex_list.mu.html#L29'>next</a> 1027 ¦ <a href='../065duplex_list.mu.html#L29'>next</a> <- get *curr, next-sandbox:offset 1028 ¦ loop 1029 } 1030 return curr 1031 ] 1032 1033 scenario scrolling-down-past-bottom-on-recipe-side [ 1034 local-scope 1035 trace-until 100/app # trace too long 1036 assume-screen 100/width, 10/height 1037 # initialize sandbox side and create a sandbox 1038 assume-resources [ 1039 ¦ [lesson/recipes.mu] <- [ 1040 ¦ ¦ || # file containing just a newline 1041 ¦ ] 1042 ] 1043 # create a sandbox 1044 env:&:environment <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [add 2, 2] 1045 <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 1046 assume-console [ 1047 ¦ press F4 1048 ] 1049 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1050 # hit 'down' in recipe editor 1051 assume-console [ 1052 ¦ press <a href='003-shortcuts.mu.html#L2789'>page-down</a> 1053 ] 1054 run [ 1055 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1056 ¦ cursor:char <- copy 9251/␣ 1057 ¦ print <a href='../081print.mu.html#L4'>screen</a>, cursor 1058 ] 1059 # cursor doesn't move when the end is already on-screen 1060 screen-should-contain [ 1061 ¦ . run (F4) . 1062 ¦ .␣ ╎ . 1063 ¦ . ╎─────────────────────────────────────────────────. 1064 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete . 1065 ¦ . ╎add 2, 2 . 1066 ] 1067 ] 1068 1069 scenario scrolling-through-multiple-sandboxes [ 1070 local-scope 1071 trace-until 100/app # trace too long 1072 assume-screen 100/width, 10/height 1073 # initialize environment 1074 assume-resources [ 1075 ] 1076 env:&:environment <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [] 1077 <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 1078 # create 2 sandboxes 1079 assume-console [ 1080 ¦ press ctrl-n 1081 ¦ type [add 2, 2] 1082 ¦ press F4 1083 ¦ type [add 1, 1] 1084 ¦ press F4 1085 ] 1086 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1087 cursor:char <- copy 9251/␣ 1088 print <a href='../081print.mu.html#L4'>screen</a>, cursor 1089 screen-should-contain [ 1090 ¦ . run (F4) . 1091 ¦ . ╎␣ . 1092 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 1093 ¦ . ╎0 edit copy delete . 1094 ¦ . ╎add 1, 1 . 1095 ¦ . ╎2 . 1096 ¦ . ╎─────────────────────────────────────────────────. 1097 ¦ . ╎1 edit copy delete . 1098 ¦ . ╎add 2, 2 . 1099 ¦ . ╎4 . 1100 ] 1101 # hit 'page-down' 1102 assume-console [ 1103 ¦ press <a href='003-shortcuts.mu.html#L2789'>page-down</a> 1104 ] 1105 run [ 1106 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1107 ¦ cursor:char <- copy 9251/␣ 1108 ¦ print <a href='../081print.mu.html#L4'>screen</a>, cursor 1109 ] 1110 # sandbox editor hidden; first sandbox displayed 1111 # cursor moves to first sandbox 1112 screen-should-contain [ 1113 ¦ . run (F4) . 1114 ¦ . ╎─────────────────────────────────────────────────. 1115 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎␣ edit copy delete . 1116 ¦ . ╎add 1, 1 . 1117 ¦ . ╎2 . 1118 ¦ . ╎─────────────────────────────────────────────────. 1119 ¦ . ╎1 edit copy delete . 1120 ¦ . ╎add 2, 2 . 1121 ¦ . ╎4 . 1122 ] 1123 # hit 'page-down' again 1124 assume-console [ 1125 ¦ press <a href='003-shortcuts.mu.html#L2789'>page-down</a> 1126 ] 1127 run [ 1128 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1129 ] 1130 # just second sandbox displayed 1131 screen-should-contain [ 1132 ¦ . run (F4) . 1133 ¦ . ╎─────────────────────────────────────────────────. 1134 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1 edit copy delete . 1135 ¦ . ╎add 2, 2 . 1136 ¦ . ╎4 . 1137 ¦ . ╎─────────────────────────────────────────────────. 1138 ¦ . ╎ . 1139 ] 1140 # hit 'page-down' again 1141 assume-console [ 1142 ¦ press <a href='003-shortcuts.mu.html#L2789'>page-down</a> 1143 ] 1144 run [ 1145 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1146 ] 1147 # no change 1148 screen-should-contain [ 1149 ¦ . run (F4) . 1150 ¦ . ╎─────────────────────────────────────────────────. 1151 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1 edit copy delete . 1152 ¦ . ╎add 2, 2 . 1153 ¦ . ╎4 . 1154 ¦ . ╎─────────────────────────────────────────────────. 1155 ¦ . ╎ . 1156 ] 1157 # hit 'page-up' 1158 assume-console [ 1159 ¦ press <a href='003-shortcuts.mu.html#L2987'>page-up</a> 1160 ] 1161 run [ 1162 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1163 ] 1164 # back to displaying both sandboxes without editor 1165 screen-should-contain [ 1166 ¦ . run (F4) . 1167 ¦ . ╎─────────────────────────────────────────────────. 1168 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete . 1169 ¦ . ╎add 1, 1 . 1170 ¦ . ╎2 . 1171 ¦ . ╎─────────────────────────────────────────────────. 1172 ¦ . ╎1 edit copy delete . 1173 ¦ . ╎add 2, 2 . 1174 ¦ . ╎4 . 1175 ] 1176 # hit 'page-up' again 1177 assume-console [ 1178 ¦ press <a href='003-shortcuts.mu.html#L2987'>page-up</a> 1179 ] 1180 run [ 1181 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1182 ¦ cursor:char <- copy 9251/␣ 1183 ¦ print <a href='../081print.mu.html#L4'>screen</a>, cursor 1184 ] 1185 # back to displaying both sandboxes as well as editor 1186 screen-should-contain [ 1187 ¦ . run (F4) . 1188 ¦ . ╎␣ . 1189 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 1190 ¦ . ╎0 edit copy delete . 1191 ¦ . ╎add 1, 1 . 1192 ¦ . ╎2 . 1193 ¦ . ╎─────────────────────────────────────────────────. 1194 ¦ . ╎1 edit copy delete . 1195 ¦ . ╎add 2, 2 . 1196 ¦ . ╎4 . 1197 ] 1198 # hit 'page-up' again 1199 assume-console [ 1200 ¦ press <a href='003-shortcuts.mu.html#L2987'>page-up</a> 1201 ] 1202 run [ 1203 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1204 ¦ cursor:char <- copy 9251/␣ 1205 ¦ print <a href='../081print.mu.html#L4'>screen</a>, cursor 1206 ] 1207 # no change 1208 screen-should-contain [ 1209 ¦ . run (F4) . 1210 ¦ . ╎␣ . 1211 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 1212 ¦ . ╎0 edit copy delete . 1213 ¦ . ╎add 1, 1 . 1214 ¦ . ╎2 . 1215 ¦ . ╎─────────────────────────────────────────────────. 1216 ¦ . ╎1 edit copy delete . 1217 ¦ . ╎add 2, 2 . 1218 ¦ . ╎4 . 1219 ] 1220 ] 1221 1222 scenario scrolling-manages-sandbox-index-correctly [ 1223 local-scope 1224 trace-until 100/app # trace too long 1225 assume-screen 100/width, 10/height 1226 # initialize environment 1227 assume-resources [ 1228 ] 1229 env:&:environment <- <a href='004-programming-environment.mu.html#L21'>new-programming-environment</a> <a href='../088file.mu.html#L11'>resources</a>, <a href='../081print.mu.html#L4'>screen</a>, [] 1230 <a href='004-programming-environment.mu.html#L395'>render-all</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> 1231 # create a sandbox 1232 assume-console [ 1233 ¦ press ctrl-n 1234 ¦ type [add 1, 1] 1235 ¦ press F4 1236 ] 1237 <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1238 screen-should-contain [ 1239 ¦ . run (F4) . 1240 ¦ . ╎ . 1241 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 1242 ¦ . ╎0 edit copy delete . 1243 ¦ . ╎add 1, 1 . 1244 ¦ . ╎2 . 1245 ¦ . ╎─────────────────────────────────────────────────. 1246 ¦ . ╎ . 1247 ] 1248 # hit 'page-down' and 'page-up' a couple of times. sandbox index should be stable 1249 assume-console [ 1250 ¦ press <a href='003-shortcuts.mu.html#L2789'>page-down</a> 1251 ] 1252 run [ 1253 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1254 ] 1255 # sandbox editor hidden; first sandbox displayed 1256 # cursor moves to first sandbox 1257 screen-should-contain [ 1258 ¦ . run (F4) . 1259 ¦ . ╎─────────────────────────────────────────────────. 1260 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete . 1261 ¦ . ╎add 1, 1 . 1262 ¦ . ╎2 . 1263 ¦ . ╎─────────────────────────────────────────────────. 1264 ¦ . ╎ . 1265 ] 1266 # hit 'page-up' again 1267 assume-console [ 1268 ¦ press <a href='003-shortcuts.mu.html#L2987'>page-up</a> 1269 ] 1270 run [ 1271 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1272 ] 1273 # back to displaying both sandboxes as well as editor 1274 screen-should-contain [ 1275 ¦ . run (F4) . 1276 ¦ . ╎ . 1277 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────. 1278 ¦ . ╎0 edit copy delete . 1279 ¦ . ╎add 1, 1 . 1280 ¦ . ╎2 . 1281 ¦ . ╎─────────────────────────────────────────────────. 1282 ¦ . ╎ . 1283 ] 1284 # hit 'page-down' 1285 assume-console [ 1286 ¦ press <a href='003-shortcuts.mu.html#L2789'>page-down</a> 1287 ] 1288 run [ 1289 ¦ <a href='004-programming-environment.mu.html#L39'>event-loop</a> <a href='../081print.mu.html#L4'>screen</a>, <a href='../084console.mu.html#L23'>console</a>, env, <a href='../088file.mu.html#L11'>resources</a> 1290 ] 1291 # sandbox editor hidden; first sandbox displayed 1292 # cursor moves to first sandbox 1293 screen-should-contain [ 1294 ¦ . run (F4) . 1295 ¦ . ╎─────────────────────────────────────────────────. 1296 ¦ .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete . 1297 ¦ . ╎add 1, 1 . 1298 ¦ . ╎2 . 1299 ¦ . ╎─────────────────────────────────────────────────. 1300 ¦ . ╎ . 1301 ] 1302 ] </pre> </body> </html>