diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 23:51:55 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 23:51:55 -0700 |
| commit | 4a70fb39cc6a0f2ebe34e9b58b873e13d8221015 (patch) | |
| tree | 0a9ea58f4d0f3786b1023ae0d347361976a694fa /html/edit | |
| parent | eeed3845cd504028779c333665e0b9fad2070357 (diff) | |
| download | mu-4a70fb39cc6a0f2ebe34e9b58b873e13d8221015.tar.gz | |
3457
Switch around some unicode characters in the edit/ app so that it renders more cleanly in html (with monospace fonts).
Diffstat (limited to 'html/edit')
| -rw-r--r-- | html/edit/002-typing.mu.html | 40 | ||||
| -rw-r--r-- | html/edit/003-shortcuts.mu.html | 92 | ||||
| -rw-r--r-- | html/edit/004-programming-environment.mu.html | 54 | ||||
| -rw-r--r-- | html/edit/005-sandbox.mu.html | 342 | ||||
| -rw-r--r-- | html/edit/006-sandbox-copy.mu.html | 126 | ||||
| -rw-r--r-- | html/edit/007-sandbox-delete.mu.html | 152 | ||||
| -rw-r--r-- | html/edit/008-sandbox-edit.mu.html | 182 | ||||
| -rw-r--r-- | html/edit/009-sandbox-test.mu.html | 32 | ||||
| -rw-r--r-- | html/edit/010-sandbox-trace.mu.html | 96 | ||||
| -rw-r--r-- | html/edit/011-errors.mu.html | 264 | ||||
| -rw-r--r-- | html/edit/012-editor-undo.mu.html | 122 |
11 files changed, 751 insertions, 751 deletions
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index c2c0efb5..8dd0fd48 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -310,7 +310,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color row:num, column:num<span class="Special"> <- </span>render screen, editor clear-line-until screen, right row<span class="Special"> <- </span>add row, <span class="Constant">1</span> - draw-horizontal screen, row, left, right, <span class="Constant">9480/horizontal-dotted</span> + draw-horizontal screen, row, left, right, <span class="Constant">9548/horizontal-dashed</span> row<span class="Special"> <- </span>add row, <span class="Constant">1</span> clear-screen-from screen, row, left, left, right ] @@ -327,7 +327,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -349,7 +349,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -442,7 +442,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -489,7 +489,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">3</span>, <span class="Constant">[print-character]</span> @@ -513,7 +513,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .0adbc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">7</span>, <span class="Constant">[print-character]</span> <span class="Comment"># 4 for first letter, 3 for second</span> @@ -535,7 +535,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abcd .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">1</span>, <span class="Constant">[print-character]</span> @@ -560,7 +560,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abce .</span> <span class="Constant"> .d .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">1</span>, <span class="Constant">[print-character]</span> @@ -582,7 +582,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abcd .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">1</span>, <span class="Constant">[print-character]</span> @@ -607,7 +607,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> <span class="Constant"> .de .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">1</span>, <span class="Constant">[print-character]</span> @@ -632,7 +632,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">2</span>, <span class="Constant">[print-character]</span> @@ -652,7 +652,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .01ab .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] ] @@ -675,7 +675,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .eabc .</span> -<span class="Constant"> .┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌.</span> <span class="Constant"> . .</span> <span class="Constant"> . .</span> ] @@ -691,7 +691,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .efab↩.</span> <span class="Constant"> .c .</span> -<span class="Constant"> .┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -797,7 +797,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abcf↩ .</span> <span class="Constant"> .de .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -831,7 +831,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abcd↩ .</span> <span class="Constant"> .e .</span> <span class="Constant"> .xyz .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> ] ] @@ -852,7 +852,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . abc0↩ .</span> <span class="Constant"> . 1de .</span> - <span class="Constant"> . ┈┈┈┈┈ .</span> + <span class="Constant"> . ╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -886,7 +886,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .0 .</span> <span class="Constant"> .1abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -992,7 +992,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . 0 .</span> <span class="Constant"> . 1abc .</span> - <span class="Constant"> . ┈┈┈┈┈┈┈┈┈.</span> + <span class="Constant"> . ╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1020,7 +1020,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abcd↩ .</span> <span class="Constant"> .e .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> ] ] diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html index bac26d3c..e9ec2f4d 100644 --- a/html/edit/003-shortcuts.mu.html +++ b/html/edit/003-shortcuts.mu.html @@ -91,7 +91,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .bc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -269,7 +269,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abcd .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -300,7 +300,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abc defgh↩.</span> <span class="Constant"> .i jkl .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -316,7 +316,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abc def↩ .</span> <span class="Constant"> . ghij .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌ .</span> ] <span class="Constant"> $clear-trace</span> <span class="Comment"># position the cursor somewhere in the middle of the top screen line and hit backspace</span> @@ -332,7 +332,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abcdef ↩ .</span> <span class="Constant"> .ghij .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] ] @@ -354,7 +354,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .bc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">3</span>, <span class="Constant">[print-character]</span> <span class="Comment"># length of original line to overwrite</span> @@ -368,7 +368,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .c .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">2</span>, <span class="Constant">[print-character]</span> <span class="Comment"># new length to overwrite</span> @@ -444,7 +444,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .a0bc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">3</span>, <span class="Constant">[print-character]</span> <span class="Comment"># 0 and following characters</span> @@ -555,7 +555,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> <span class="Constant"> .0d .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">2</span>, <span class="Constant">[print-character]</span> <span class="Comment"># new length of second line</span> @@ -582,7 +582,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . abc .</span> <span class="Constant"> . 0d .</span> - <span class="Constant"> . ┈┈┈┈┈┈┈┈┈.</span> + <span class="Constant"> . ╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -606,7 +606,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abcd↩ .</span> <span class="Constant"> .ef .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -672,7 +672,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . abcd↩ .</span> <span class="Constant"> . ef .</span> - <span class="Constant"> . ┈┈┈┈┈ .</span> + <span class="Constant"> . ╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -704,7 +704,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> <span class="Constant"> .0d .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">2</span>, <span class="Constant">[print-character]</span> @@ -731,7 +731,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .a0bc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">3</span>, <span class="Constant">[print-character]</span> @@ -807,7 +807,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .def0 .</span> <span class="Constant"> .g .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] check-trace-count-for-label <span class="Constant">1</span>, <span class="Constant">[print-character]</span> <span class="Comment"># just the '0'</span> ] @@ -836,7 +836,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .0abc .</span> <span class="Constant"> .def .</span> <span class="Constant"> .g .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] check-trace-count-for-label <span class="Constant">4</span>, <span class="Constant">[print-character]</span> <span class="Comment"># length of first line</span> ] @@ -865,7 +865,7 @@ d] <span class="Constant"> .abc .</span> <span class="Constant"> .0 .</span> <span class="Constant"> .d .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] check-trace-count-for-label <span class="Constant">1</span>, <span class="Constant">[print-character]</span> <span class="Comment"># just the '0'</span> ] @@ -881,7 +881,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .abcd↩ .</span> <span class="Constant"> .ef .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] <span class="Comment"># position cursor right after empty line</span> @@ -915,7 +915,7 @@ d] <span class="Constant"> .abcd↩ .</span> <span class="Constant"> .ef .</span> <span class="Constant"> .g .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> ] <span class="Comment"># position cursor right after empty line</span> assume-console [ @@ -947,7 +947,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .abcd .</span> <span class="Constant"> .e .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> <span class="Constant"> . .</span> ] <span class="Comment"># position cursor right after empty line</span> @@ -1003,7 +1003,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .a0bc .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1120,7 +1120,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .ab0 .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1157,7 +1157,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .0 .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1198,7 +1198,7 @@ d] <span class="Constant"> .abc .</span> <span class="Constant"> .0def .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1237,7 +1237,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> <span class="Constant"> .0def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1342,7 +1342,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> <span class="Constant"> .de0 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1545,7 +1545,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .123z .</span> <span class="Constant"> .456 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] check-trace-count-for-label <span class="Constant">1</span>, <span class="Constant">[print-character]</span> @@ -1696,7 +1696,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .123 .</span> <span class="Constant"> .6 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1760,7 +1760,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .3 .</span> <span class="Constant"> .456 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1784,7 +1784,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> . .</span> <span class="Constant"> .456 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1808,7 +1808,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .123 .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1834,7 +1834,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .1 .</span> <span class="Constant"> .456 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1890,7 +1890,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .123 .</span> <span class="Constant"> .4 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1914,7 +1914,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .12 .</span> <span class="Constant"> .456 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1938,7 +1938,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .123 .</span> <span class="Constant"> .456 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1962,7 +1962,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .123 .</span> <span class="Constant"> .45 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1986,7 +1986,7 @@ d] <span class="Constant"> . .</span> <span class="Constant"> .123 .</span> <span class="Constant"> .456 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -2306,7 +2306,7 @@ d] screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .de0 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># try to move down again</span> @@ -2335,7 +2335,7 @@ d] screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .de01 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -2529,7 +2529,7 @@ d] <span class="Constant"> .k .</span> <span class="Constant"> .l .</span> <span class="Constant"> .m .</span> - <span class="Constant"> .┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌ .</span> ] <span class="Comment"># move up one line</span> assume-console [ @@ -2660,7 +2660,7 @@ e] <span class="Constant"> . .</span> <span class="Constant"> .d .</span> <span class="Constant"> .e .</span> - <span class="Constant"> .┈┈┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌╌╌ .</span> ] assume-console [ press page-up @@ -2799,7 +2799,7 @@ e] <span class="Constant"> . .</span> <span class="Constant"> .c .</span> <span class="Constant"> .d .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -2872,7 +2872,7 @@ e] <span class="Constant"> . .</span> <span class="Constant"> .a .</span> <span class="Constant"> .b .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] <span class="Comment"># scroll down</span> assume-console [ @@ -2886,7 +2886,7 @@ e] <span class="Constant"> . .</span> <span class="Constant"> .a .</span> <span class="Constant"> .b .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -2919,7 +2919,7 @@ e] <span class="Constant"> . .</span> <span class="Constant"> .cde↩ .</span> <span class="Constant"> .fgh .</span> - <span class="Constant"> .┈┈┈┈ .</span> + <span class="Constant"> .╌╌╌╌ .</span> ] ] @@ -2983,7 +2983,7 @@ e] <span class="Constant"> . .</span> <span class="Constant"> .c .</span> <span class="Constant"> .d .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] <span class="Comment"># scroll back up</span> assume-console [ diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html index c6bcff5a..72fb4000 100644 --- a/html/edit/004-programming-environment.mu.html +++ b/html/edit/004-programming-environment.mu.html @@ -71,7 +71,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color print screen, <span class="Constant">[ run (F4) ]</span>, <span class="Constant">255/white</span>, <span class="Constant">161/reddish</span> <span class="Comment"># dotted line down the middle</span> divider:num, _<span class="Special"> <- </span>divide-with-remainder width, <span class="Constant">2</span> - draw-vertical screen, divider, <span class="Constant">1/top</span>, height, <span class="Constant">9482/vertical-dotted</span> + draw-vertical screen, divider, <span class="Constant">1/top</span>, height, <span class="Constant">9550/vertical-dashed</span> <span class="Comment"># recipe editor on the left</span> recipes:&:editor<span class="Special"> <- </span>new-editor initial-recipe-contents, screen, <span class="Constant">0/left</span>, divider/right <span class="Comment"># sandbox editor on the right</span> @@ -375,9 +375,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) . # this line has a different background, but we don't test that yet</span> - <span class="Constant"> .a0bc ┊d1ef .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .a0bc ╎d1ef .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎──────────────.</span> + <span class="Constant"> . ╎ .</span> ] memory-should-contain [ <span class="Constant">5</span><span class="Special"> <- </span><span class="Constant">2</span> <span class="Comment"># cursor column of recipe editor</span> @@ -390,9 +390,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> .a0bc ┊d1␣f .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .a0bc ╎d1␣f .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎──────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -407,10 +407,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># divider isn't messed up</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> .abc ┊def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .abc ╎def .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -430,9 +430,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># is cursor at the right place?</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> .␣bc ┊def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .␣bc ╎def .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎──────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># now try typing a letter</span> assume-console [ @@ -446,9 +446,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># cursor should still be right</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> .z␣bc ┊def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .z␣bc ╎def .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎──────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -463,10 +463,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color render-all screen, env, render screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊abc .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊def .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎abc .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎def .</span> + <span class="Constant"> . ╎──────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># position cursor at start of second line and hit backspace</span> assume-console [ @@ -481,9 +481,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># cursor moves to end of old line</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊abc␣ef .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎abc␣ef .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎──────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -505,7 +505,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color trace <span class="Constant">11</span>, <span class="Constant">[app]</span>, <span class="Constant">[render divider]</span> divider:num, _<span class="Special"> <- </span>divide-with-remainder width, <span class="Constant">2</span> height:num<span class="Special"> <- </span>screen-height screen - draw-vertical screen, divider, <span class="Constant">1/top</span>, height, <span class="Constant">9482/vertical-dotted</span> + draw-vertical screen, divider, <span class="Constant">1/top</span>, height, <span class="Constant">9550/vertical-dashed</span> <span class="Comment">#</span> screen<span class="Special"> <- </span>render-recipes screen, env, render-editor screen<span class="Special"> <- </span>render-sandbox-side screen, env, render-editor @@ -532,7 +532,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color row<span class="Special"> <- </span>add row, <span class="Constant">1</span> <span class="Constant"> <render-recipe-components-end></span> <span class="Comment"># draw dotted line after recipes</span> - draw-horizontal screen, row, left, right, <span class="Constant">9480/horizontal-dotted</span> + draw-horizontal screen, row, left, right, <span class="Constant">9548/horizontal-dashed</span> row<span class="Special"> <- </span>add row, <span class="Constant">1</span> clear-screen-from screen, row, left, left, right ] @@ -548,7 +548,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color clear-line-until screen, right row<span class="Special"> <- </span>add row, <span class="Constant">1</span> <span class="Comment"># draw solid line after code (you'll see why in later layers)</span> - draw-horizontal screen, row, left, right, <span class="Constant">9473/horizontal</span> + draw-horizontal screen, row, left, right row<span class="Special"> <- </span>add row, <span class="Constant">1</span> clear-screen-from screen, row, left, left, right ] diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html index 17da0bdd..a1a87d1c 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -93,14 +93,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># check that screen prints the results</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊divide-with-remainder 11, 3 .</span> - <span class="Constant"> . ┊3 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎divide-with-remainder 11, 3 .</span> + <span class="Constant"> . ╎3 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] screen-should-contain-in-color <span class="Constant">7/white</span>, [ <span class="Constant"> . .</span> @@ -115,14 +115,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain-in-color <span class="Constant">245/grey</span>, [ <span class="Constant"> . .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊3 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎3 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># sandbox menu in reverse video</span> screen-should-contain-in-color <span class="Constant">232/black</span>, [ @@ -143,18 +143,18 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># check that screen prints both sandboxes</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊divide-with-remainder 11, 3 .</span> - <span class="Constant"> . ┊3 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎divide-with-remainder 11, 3 .</span> + <span class="Constant"> . ╎3 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -286,7 +286,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color row<span class="Special"> <- </span>add row, <span class="Constant">1</span> <span class="Delimiter">}</span> <span class="Comment"># render sandboxes</span> - draw-horizontal screen, row, left, right, <span class="Constant">9473/horizontal-double</span> + draw-horizontal screen, row, left, right sandbox:&:sandbox<span class="Special"> <- </span>get *env, <span class="Constant">sandbox:offset</span> row, screen<span class="Special"> <- </span>render-sandboxes screen, sandbox, left, right, row, render-from clear-rest-of-screen screen, row, left, right @@ -332,7 +332,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color at-bottom?:bool<span class="Special"> <- </span>greater-or-equal row, screen-height <span class="muControl">return-if</span> at-bottom? <span class="Comment"># draw solid line after sandbox</span> - draw-horizontal screen, row, left, right, <span class="Constant">9473/horizontal-double</span> + draw-horizontal screen, row, left, right <span class="Delimiter">}</span> <span class="Comment"># if hidden, reset row attributes</span> <span class="Delimiter">{</span> @@ -569,14 +569,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .local-scope ┊0 edit copy delete .</span> - <span class="Constant"> .z:num <- add 2, 2 ┊foo .</span> - <span class="Constant"> .reply z ┊4 .</span> - <span class="Constant"> .] ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .local-scope ╎0 edit copy delete .</span> + <span class="Constant"> .z:num <- add 2, 2 ╎foo .</span> + <span class="Constant"> .reply z ╎4 .</span> + <span class="Constant"> .] ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># make a change (incrementing one of the args to 'add'), then rerun</span> assume-console [ @@ -591,14 +591,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># check that screen updates the result on the right</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .local-scope ┊0 edit copy delete .</span> - <span class="Constant"> .z:num <- add 2, 3 ┊foo .</span> - <span class="Constant"> .reply z ┊5 .</span> - <span class="Constant"> .] ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .local-scope ╎0 edit copy delete .</span> + <span class="Constant"> .z:num <- add 2, 3 ╎foo .</span> + <span class="Constant"> .reply z ╎5 .</span> + <span class="Constant"> .] ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -619,18 +619,18 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># check that it prints a little toy screen</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊print-integer screen, 4 .</span> - <span class="Constant"> . ┊screen: .</span> - <span class="Constant"> . ┊ .4 . .</span> - <span class="Constant"> . ┊ . . .</span> - <span class="Constant"> . ┊ . . .</span> - <span class="Constant"> . ┊ . . .</span> - <span class="Constant"> . ┊ . . .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎print-integer screen, 4 .</span> + <span class="Constant"> . ╎screen: .</span> + <span class="Constant"> . ╎ .4 . .</span> + <span class="Constant"> . ╎ . . .</span> + <span class="Constant"> . ╎ . . .</span> + <span class="Constant"> . ╎ . . .</span> + <span class="Constant"> . ╎ . . .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -687,10 +687,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># no scroll</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -711,10 +711,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># cursor moves back to bottom</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .␣ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .␣ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -790,10 +790,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># no scroll, and cursor remains at top line</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -818,10 +818,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># no scroll on recipe side, cursor moves on sandbox side</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ab .</span> - <span class="Constant"> . ┊␣d .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ab .</span> + <span class="Constant"> . ╎␣d .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -841,10 +841,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> ] <span class="Comment"># switch to sandbox window and hit 'page-down'</span> assume-console [ @@ -860,10 +860,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># cursor moves to first sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊␣ edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎␣ edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] <span class="Comment"># hit 'page-up'</span> assume-console [ @@ -877,10 +877,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># sandbox editor displays again, cursor is in editor</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊␣ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> + <span class="Constant"> . ╎␣ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> ] ] @@ -985,10 +985,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># cursor moves down on recipe side</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> .␣ ┊ .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> + <span class="Constant"> .␣ ╎ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> ] ] @@ -1012,15 +1012,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color print screen, cursor screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊␣ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎␣ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] <span class="Comment"># hit 'page-down'</span> assume-console [ @@ -1035,14 +1035,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># cursor moves to first sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊␣ edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎␣ edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] <span class="Comment"># hit 'page-down' again</span> assume-console [ @@ -1054,12 +1054,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># just second sandbox displayed</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># hit 'page-down' again</span> assume-console [ @@ -1071,12 +1071,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># no change</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># hit 'page-up'</span> assume-console [ @@ -1088,14 +1088,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># back to displaying both sandboxes without editor</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] <span class="Comment"># hit 'page-up' again</span> assume-console [ @@ -1109,15 +1109,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># back to displaying both sandboxes as well as editor</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊␣ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎␣ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] <span class="Comment"># hit 'page-up' again</span> assume-console [ @@ -1131,15 +1131,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># no change</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊␣ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎␣ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] ] @@ -1159,13 +1159,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># hit 'page-down' and 'page-up' a couple of times. sandbox index should be stable</span> assume-console [ @@ -1178,12 +1178,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># cursor moves to first sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># hit 'page-up' again</span> assume-console [ @@ -1195,13 +1195,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># back to displaying both sandboxes as well as editor</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># hit 'page-down'</span> assume-console [ @@ -1214,12 +1214,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># cursor moves to first sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] </pre> diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html index 27ff4b86..e0f8383f 100644 --- a/html/edit/006-sandbox-copy.mu.html +++ b/html/edit/006-sandbox-copy.mu.html @@ -52,13 +52,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># click at left edge of 'copy' button</span> assume-console [ @@ -70,13 +70,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># it copies into editor</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># cursor should be in the right place</span> assume-console [ @@ -87,13 +87,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊0foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎0foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -114,13 +114,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># click at right edge of 'copy' button (just before 'delete')</span> assume-console [ @@ -132,13 +132,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># it copies into editor</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># cursor should be in the right place</span> assume-console [ @@ -149,13 +149,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊0foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎0foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -271,13 +271,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># type something into the sandbox editor, then click on the 'copy' button</span> assume-console [ @@ -291,13 +291,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># copy doesn't happen</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊0 .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎0 .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># cursor should be in the right place</span> assume-console [ @@ -308,13 +308,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊01 .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎01 .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] </pre> diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html index d1ab4452..0709f069 100644 --- a/html/edit/007-sandbox-delete.mu.html +++ b/html/edit/007-sandbox-delete.mu.html @@ -50,18 +50,18 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊divide-with-remainder 11, 3 .</span> - <span class="Constant"> . ┊3 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎divide-with-remainder 11, 3 .</span> + <span class="Constant"> . ╎3 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># delete second sandbox by clicking on left edge of 'delete' button</span> assume-console [ @@ -72,14 +72,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># delete first sandbox by clicking at right edge of 'delete' button</span> assume-console [ @@ -90,10 +90,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -199,12 +199,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> ] <span class="Comment"># delete the second sandbox</span> assume-console [ @@ -216,12 +216,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># second sandbox shows in editor; scroll resets to display first sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -244,12 +244,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> ] <span class="Comment"># delete the second sandbox</span> assume-console [ @@ -261,12 +261,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># second sandbox shows in editor; scroll resets to display first sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -290,12 +290,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># delete the second sandbox</span> assume-console [ @@ -307,13 +307,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># implicitly scroll up to first sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -335,15 +335,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] <span class="Comment"># delete the second sandbox, then try to scroll down twice</span> assume-console [ @@ -357,12 +357,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># shouldn't go past last sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] </pre> diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html index 8b8cf20d..49098fb4 100644 --- a/html/edit/008-sandbox-edit.mu.html +++ b/html/edit/008-sandbox-edit.mu.html @@ -51,13 +51,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># click at left edge of 'edit' button</span> assume-console [ @@ -69,12 +69,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># it pops back into editor</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># cursor should be in the right place</span> assume-console [ @@ -85,12 +85,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊0foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎0foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -111,13 +111,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># click at right edge of 'edit' button (just before 'copy')</span> assume-console [ @@ -129,12 +129,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># it pops back into editor</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># cursor should be in the right place</span> assume-console [ @@ -145,12 +145,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊0foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎0foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -221,18 +221,18 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊print-integer screen, 4 .</span> - <span class="Constant"> . ┊screen: .</span> - <span class="Constant"> . ┊ .4 . .</span> - <span class="Constant"> . ┊ . . .</span> - <span class="Constant"> . ┊ . . .</span> - <span class="Constant"> . ┊ . . .</span> - <span class="Constant"> . ┊ . . .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎print-integer screen, 4 .</span> + <span class="Constant"> . ╎screen: .</span> + <span class="Constant"> . ╎ .4 . .</span> + <span class="Constant"> . ╎ . . .</span> + <span class="Constant"> . ╎ . . .</span> + <span class="Constant"> . ╎ . . .</span> + <span class="Constant"> . ╎ . . .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># edit the sandbox</span> assume-console [ @@ -243,10 +243,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊print-integer screen, 4 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎print-integer screen, 4 .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -270,12 +270,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># edit the second sandbox</span> assume-console [ @@ -287,13 +287,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># second sandbox shows in editor; scroll resets to display first sandbox</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊add 2, 2 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎add 2, 2 .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -315,15 +315,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] <span class="Comment"># edit the second sandbox, then resave</span> assume-console [ @@ -336,15 +336,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># no change in contents</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 1, 1 .</span> - <span class="Constant"> . ┊2 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 1, 1 .</span> + <span class="Constant"> . ╎2 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> ] <span class="Comment"># now try to scroll past end</span> assume-console [ @@ -358,12 +358,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># screen should show just final sandbox with the right index (1)</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊1 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] </pre> diff --git a/html/edit/009-sandbox-test.mu.html b/html/edit/009-sandbox-test.mu.html index ea30b585..8c2324e4 100644 --- a/html/edit/009-sandbox-test.mu.html +++ b/html/edit/009-sandbox-test.mu.html @@ -52,13 +52,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># click on the '4' in the result</span> assume-console [ @@ -85,15 +85,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> .␣ ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . reply 4 ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .␣ ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . reply 4 ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># now change the result</span> <span class="Comment"># then rerun</span> diff --git a/html/edit/010-sandbox-trace.mu.html b/html/edit/010-sandbox-trace.mu.html index 5fb46b84..5d8acd04 100644 --- a/html/edit/010-sandbox-trace.mu.html +++ b/html/edit/010-sandbox-trace.mu.html @@ -52,12 +52,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . stash [abc] ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . stash [abc] ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># click on the code in the sandbox</span> assume-console [ @@ -71,19 +71,19 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># trace now printed and cursor shouldn't have budged</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> .␣ ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . stash [abc] ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊abc .</span> + <span class="Constant"> .␣ ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . stash [abc] ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎abc .</span> ] screen-should-contain-in-color <span class="Constant">245/grey</span>, [ <span class="Constant"> . .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊abc .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎abc .</span> ] <span class="Comment"># click again on the same region</span> assume-console [ @@ -96,12 +96,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># trace hidden again</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> .␣ ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . stash [abc] ┊0 edit copy delete .</span> - <span class="Constant"> .] ┊foo .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .␣ ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . stash [abc] ╎0 edit copy delete .</span> + <span class="Constant"> .] ╎foo .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -123,13 +123,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . stash [abc] ┊0 edit copy delete .</span> - <span class="Constant"> . reply 4 ┊foo .</span> - <span class="Constant"> .] ┊4 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . stash [abc] ╎0 edit copy delete .</span> + <span class="Constant"> . reply 4 ╎foo .</span> + <span class="Constant"> .] ╎4 .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># click on the code in the sandbox</span> assume-console [ @@ -141,15 +141,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># trace now printed above result</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . stash [abc] ┊0 edit copy delete .</span> - <span class="Constant"> . reply 4 ┊foo .</span> - <span class="Constant"> .] ┊abc .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊8 instructions run .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . stash [abc] ╎0 edit copy delete .</span> + <span class="Constant"> . reply 4 ╎foo .</span> + <span class="Constant"> .] ╎abc .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎8 instructions run .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -166,11 +166,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊stash 123456789 .</span> - <span class="Constant"> . ┊123456789 .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎stash 123456789 .</span> + <span class="Constant"> . ╎123456789 .</span> ] <span class="Comment"># click on the stash under the edit-button region (or any of the other buttons, really)</span> assume-console [ @@ -182,11 +182,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># no change; doesn't die</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊stash 123456789 .</span> - <span class="Constant"> . ┊123456789 .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎stash 123456789 .</span> + <span class="Constant"> . ╎123456789 .</span> ] ] diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html index 67c6c5d2..6c69076c 100644 --- a/html/edit/011-errors.mu.html +++ b/html/edit/011-errors.mu.html @@ -166,15 +166,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . errors found run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . get 123:num, foo:offset ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .foo: unknown element 'foo' in container 'number' ┊ .</span> - <span class="Constant"> .foo: first ingredient of 'get' should be a contai↩┊ .</span> - <span class="Constant"> .ner, but got '123:num' ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . get 123:num, foo:offset ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .foo: unknown element 'foo' in container 'number' ╎ .</span> + <span class="Constant"> .foo: first ingredient of 'get' should be a contai↩╎ .</span> + <span class="Constant"> .ner, but got '123:num' ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] screen-should-contain-in-color <span class="Constant">1/red</span>, [ <span class="Constant"> . errors found .</span> @@ -261,13 +261,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># error should disappear</span> screen-should-contain [ <span class="Constant"> . run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊add 2, 2 .</span> - <span class="Constant"> . ┊4 .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎add 2, 2 .</span> + <span class="Constant"> . ╎4 .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -289,14 +289,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . errors found (0) run (F4) .</span> - <span class="Constant"> .recipe foo x:_elem -> z:_elem [ ┊ .</span> - <span class="Constant"> .local-scope ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .load-ingredients ┊0 edit copy delete .</span> - <span class="Constant"> .y:&:num <- copy 0 ┊foo 2 .</span> - <span class="Constant"> .z <- add x, y ┊foo_2: 'add' requires number ingredients, but go↩.</span> - <span class="Constant"> .] ┊t 'y' .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .recipe foo x:_elem -> z:_elem [ ╎ .</span> + <span class="Constant"> .local-scope ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .load-ingredients ╎0 edit copy delete .</span> + <span class="Constant"> .y:&:num <- copy 0 ╎foo 2 .</span> + <span class="Constant"> .z <- add x, y ╎foo_2: 'add' requires number ingredients, but go↩.</span> + <span class="Constant"> .] ╎t 'y' .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># now rerun everything</span> assume-console [ @@ -308,14 +308,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># error should remain unchanged</span> screen-should-contain [ <span class="Constant"> . errors found (0) run (F4) .</span> - <span class="Constant"> .recipe foo x:_elem -> z:_elem [ ┊ .</span> - <span class="Constant"> .local-scope ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .load-ingredients ┊0 edit copy delete .</span> - <span class="Constant"> .y:&:num <- copy 0 ┊foo 2 .</span> - <span class="Constant"> .z <- add x, y ┊foo_3: 'add' requires number ingredients, but go↩.</span> - <span class="Constant"> .] ┊t 'y' .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .recipe foo x:_elem -> z:_elem [ ╎ .</span> + <span class="Constant"> .local-scope ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .load-ingredients ╎0 edit copy delete .</span> + <span class="Constant"> .y:&:num <- copy 0 ╎foo 2 .</span> + <span class="Constant"> .z <- add x, y ╎foo_3: 'add' requires number ingredients, but go↩.</span> + <span class="Constant"> .] ╎t 'y' .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -397,11 +397,11 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . errors found run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . x <- copy 0 ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .foo: missing type for 'x' in 'x <- copy 0' ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . x <- copy 0 ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .foo: missing type for 'x' in 'x <- copy 0' ╎ .</span> ] ] @@ -423,13 +423,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . errors found run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo \\[ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . x <- copy 0 ┊ .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> .9: unbalanced '\\[' for recipe ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo \\[ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . x <- copy 0 ╎ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> .9: unbalanced '\\[' for recipe ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -452,16 +452,16 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . errors found run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . local-scope ┊ .</span> - <span class="Constant"> . x:&:point <- new point:type ┊ .</span> - <span class="Constant"> . get x:&:point, 1:offset ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .foo: first ingredient of 'get' should be a contai↩┊ .</span> - <span class="Constant"> .ner, but got 'x:&:point' ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . local-scope ╎ .</span> + <span class="Constant"> . x:&:point <- new point:type ╎ .</span> + <span class="Constant"> . get x:&:point, 1:offset ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .foo: first ingredient of 'get' should be a contai↩╎ .</span> + <span class="Constant"> .ner, but got 'x:&:point' ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -485,17 +485,17 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . errors found run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . local-scope ┊ .</span> - <span class="Constant"> . x:num <- copy 0 ┊ .</span> - <span class="Constant"> . y:&:point <- new point:type ┊ .</span> - <span class="Constant"> . get *y:&:point, x:num ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .foo: second ingredient of 'get' should have type ↩┊ .</span> - <span class="Constant"> .'offset', but got 'x:num' ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . local-scope ╎ .</span> + <span class="Constant"> . x:num <- copy 0 ╎ .</span> + <span class="Constant"> . y:&:point <- new point:type ╎ .</span> + <span class="Constant"> . get *y:&:point, x:num ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .foo: second ingredient of 'get' should have type ↩╎ .</span> + <span class="Constant"> .'offset', but got 'x:num' ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -516,14 +516,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color event-loop screen, console, env screen-should-contain [ <span class="Constant"> . errors found run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . local-scope ┊ .</span> - <span class="Constant"> . x:num <- copy y:num ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .foo: use before set: 'y' ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . local-scope ╎ .</span> + <span class="Constant"> . x:num <- copy y:num ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .foo: use before set: 'y' ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] <span class="Comment"># rerun the file, check for the same error</span> assume-console [ @@ -534,14 +534,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . errors found run (F4) .</span> - <span class="Constant"> . ┊foo .</span> - <span class="Constant"> .recipe foo [ ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . local-scope ┊ .</span> - <span class="Constant"> . x:num <- copy y:num ┊ .</span> - <span class="Constant"> .] ┊ .</span> - <span class="Constant"> .foo: use before set: 'y' ┊ .</span> - <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊ .</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎foo .</span> + <span class="Constant"> .recipe foo [ ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . local-scope ╎ .</span> + <span class="Constant"> . x:num <- copy y:num ╎ .</span> + <span class="Constant"> .] ╎ .</span> + <span class="Constant"> .foo: use before set: 'y' ╎ .</span> + <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎ .</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -562,15 +562,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># check that screen prints error message in red</span> screen-should-contain [ <span class="Constant"> . errors found (0) run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊get 1234:num, foo:offset .</span> - <span class="Constant"> . ┊unknown element 'foo' in container 'number' .</span> - <span class="Constant"> . ┊first ingredient of 'get' should be a container,↩.</span> - <span class="Constant"> . ┊ but got '1234:num' .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎get 1234:num, foo:offset .</span> + <span class="Constant"> . ╎unknown element 'foo' in container 'number' .</span> + <span class="Constant"> . ╎first ingredient of 'get' should be a container,↩.</span> + <span class="Constant"> . ╎ but got '1234:num' .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] screen-should-contain-in-color <span class="Constant">7/white</span>, [ <span class="Constant"> . .</span> @@ -595,15 +595,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain-in-color <span class="Constant">245/grey</span>, [ <span class="Constant"> . .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊ ↩.</span> - <span class="Constant"> . ┊ .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎ ↩.</span> + <span class="Constant"> . ╎ .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -625,15 +625,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># check that screen prints error message just once</span> screen-should-contain [ <span class="Constant"> . errors found (0) run (F4) .</span> - <span class="Constant"> . ┊ .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊0 edit copy delete .</span> - <span class="Constant"> . ┊get 1234:num, foo:offset .</span> - <span class="Constant"> . ┊unknown element 'foo' in container 'number' .</span> - <span class="Constant"> . ┊first ingredient of 'get' should be a container,↩.</span> - <span class="Constant"> . ┊ but got '1234:num' .</span> - <span class="Constant"> . ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> . ╎ .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎0 edit copy delete .</span> + <span class="Constant"> . ╎get 1234:num, foo:offset .</span> + <span class="Constant"> . ╎unknown element 'foo' in container 'number' .</span> + <span class="Constant"> . ╎first ingredient of 'get' should be a container,↩.</span> + <span class="Constant"> . ╎ but got '1234:num' .</span> + <span class="Constant"> . ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -658,13 +658,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color ] screen-should-contain [ <span class="Constant"> . errors found (0) run (F4) .</span> - <span class="Constant"> .recipe foo [ ┊ .</span> - <span class="Constant"> . { ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . loop ┊0 edit copy delete .</span> - <span class="Constant"> . } ┊foo .</span> - <span class="Constant"> .] ┊took too long! .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> . ┊ .</span> + <span class="Constant"> .recipe foo [ ╎ .</span> + <span class="Constant"> . { ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . loop ╎0 edit copy delete .</span> + <span class="Constant"> . } ╎foo .</span> + <span class="Constant"> .] ╎took too long! .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> + <span class="Constant"> . ╎ .</span> ] ] @@ -690,14 +690,14 @@ _, c:num<span class="Special"> <- </span>divide-with-remainder a, b <span class="Comment"># screen prints error message</span> screen-should-contain [ <span class="Constant"> . errors found (0) run (F4) .</span> - <span class="Constant"> .recipe foo [ ┊ .</span> - <span class="Constant"> .local-scope ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .a:num <- next-ingredient ┊0 edit copy delete .</span> - <span class="Constant"> .b:num <- next-ingredient ┊foo 4, 0 .</span> - <span class="Constant"> .stash [dividing by], b ┊foo: divide by zero in '_, c:num <- divide-with-↩.</span> - <span class="Constant"> ._, c:num <- divide-with-remainder a, b ┊remainder a, b' .</span> - <span class="Constant"> .reply b ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .] ┊ .</span> + <span class="Constant"> .recipe foo [ ╎ .</span> + <span class="Constant"> .local-scope ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .a:num <- next-ingredient ╎0 edit copy delete .</span> + <span class="Constant"> .b:num <- next-ingredient ╎foo 4, 0 .</span> + <span class="Constant"> .stash [dividing by], b ╎foo: divide by zero in '_, c:num <- divide-with-↩.</span> + <span class="Constant"> ._, c:num <- divide-with-remainder a, b ╎remainder a, b' .</span> + <span class="Constant"> .reply b ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .] ╎ .</span> ] <span class="Comment"># click on the call in the sandbox</span> assume-console [ @@ -709,15 +709,15 @@ _, c:num<span class="Special"> <- </span>divide-with-remainder a, b <span class="Comment"># screen should expand trace</span> screen-should-contain [ <span class="Constant"> . errors found (0) run (F4) .</span> - <span class="Constant"> .recipe foo [ ┊ .</span> - <span class="Constant"> .local-scope ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> - <span class="Constant"> .a:num <- next-ingredient ┊0 edit copy delete .</span> - <span class="Constant"> .b:num <- next-ingredient ┊foo 4, 0 .</span> - <span class="Constant"> .stash [dividing by], b ┊dividing by 0 .</span> - <span class="Constant"> ._, c:num <- divide-with-remainder a, b ┊14 instructions run .</span> - <span class="Constant"> .reply b ┊foo: divide by zero in '_, c:num <- divide-with-↩.</span> - <span class="Constant"> .] ┊remainder a, b' .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span> + <span class="Constant"> .recipe foo [ ╎ .</span> + <span class="Constant"> .local-scope ╎─────────────────────────────────────────────────.</span> + <span class="Constant"> .a:num <- next-ingredient ╎0 edit copy delete .</span> + <span class="Constant"> .b:num <- next-ingredient ╎foo 4, 0 .</span> + <span class="Constant"> .stash [dividing by], b ╎dividing by 0 .</span> + <span class="Constant"> ._, c:num <- divide-with-remainder a, b ╎14 instructions run .</span> + <span class="Constant"> .reply b ╎foo: divide by zero in '_, c:num <- divide-with-↩.</span> + <span class="Constant"> .] ╎remainder a, b' .</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span> ] ] </pre> diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html index c4ea79ee..97238c64 100644 --- a/html/edit/012-editor-undo.mu.html +++ b/html/edit/012-editor-undo.mu.html @@ -154,7 +154,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># cursor should be in the right place</span> @@ -167,7 +167,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .1 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -284,7 +284,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -303,7 +303,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .012a .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># undo</span> @@ -317,7 +317,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .a .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># cursor should be in the right place</span> @@ -330,7 +330,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .3a .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -351,7 +351,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . abc .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># line is indented</span> @@ -378,7 +378,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># cursor should be at end of line</span> @@ -391,7 +391,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . abc1 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -412,7 +412,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .a .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo</span> @@ -426,7 +426,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .012a .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># cursor should be in the right place</span> @@ -439,7 +439,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .0123a .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -476,7 +476,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo</span> @@ -490,7 +490,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .012 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># cursor should be in the right place</span> @@ -503,7 +503,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .0123 .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -532,7 +532,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .0abc .</span> <span class="Constant"> .def .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] <span class="Comment"># redo</span> assume-console [ @@ -547,7 +547,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .0abc .</span> <span class="Constant"> .def .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -572,7 +572,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . ab cd .</span> <span class="Constant"> . efg .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -599,7 +599,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . ab cd .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># undo again</span> @@ -619,7 +619,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . ab cd .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># undo again</span> @@ -639,7 +639,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo</span> @@ -659,7 +659,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . ab cd .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo again</span> @@ -680,7 +680,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . ab cd .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo again</span> @@ -701,7 +701,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> . ab cd .</span> <span class="Constant"> . efg .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -748,7 +748,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .1abc .</span> <span class="Constant"> .def .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -904,7 +904,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .def .</span> <span class="Constant"> .g1hi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -955,7 +955,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .def .</span> <span class="Constant"> .g1hi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1000,7 +1000,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .d1ef .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1103,7 +1103,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .d .</span> <span class="Constant"> .e .</span> <span class="Constant"> .f .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1138,7 +1138,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .d .</span> <span class="Constant"> .e .</span> <span class="Constant"> .f .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1183,7 +1183,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .d1ef .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1228,7 +1228,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .d1ef .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1273,7 +1273,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .d1ef .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1318,7 +1318,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .d1ef .</span> <span class="Constant"> .ghi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1417,7 +1417,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> .abc .</span> <span class="Constant"> .def .</span> <span class="Constant"> .g1hi .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> ] ] @@ -1452,7 +1452,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .adbc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -1472,7 +1472,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -1492,7 +1492,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -1512,7 +1512,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> . .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -1532,7 +1532,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -1552,7 +1552,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># cursor moves</span> @@ -1573,7 +1573,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .adbc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] memory-should-contain [ @@ -1600,7 +1600,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .a .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -1625,7 +1625,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo</span> @@ -1644,7 +1644,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .a .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1748,7 +1748,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .af .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -1773,7 +1773,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .adef .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># undo backspace</span> @@ -1792,7 +1792,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abdef .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># undo first delete</span> @@ -1811,7 +1811,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abcdef .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo first delete</span> @@ -1831,7 +1831,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abdef .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo backspace</span> @@ -1851,7 +1851,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .adef .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Comment"># redo deletes</span> @@ -1871,7 +1871,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .af .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -1936,7 +1936,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .a .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -1956,7 +1956,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -1977,7 +1977,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .a .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -1997,7 +1997,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .a1 .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -2039,7 +2039,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .c .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -2059,7 +2059,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -2080,7 +2080,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .c .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] <span class="Constant">3</span>:num/<span class="Special">raw <- </span>get *e, <span class="Constant">cursor-row:offset</span> @@ -2100,7 +2100,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant"> . .</span> <span class="Constant"> .1c .</span> <span class="Constant"> .def .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] @@ -2139,7 +2139,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen-should-contain [ <span class="Constant"> . .</span> <span class="Constant"> .abc .</span> -<span class="Constant"> .┈┈┈┈┈┈┈┈┈┈.</span> +<span class="Constant"> .╌╌╌╌╌╌╌╌╌╌.</span> <span class="Constant"> . .</span> ] ] |