diff options
Diffstat (limited to 'html/edit/002-typing.mu.html')
| -rw-r--r-- | html/edit/002-typing.mu.html | 40 |
1 files changed, 20 insertions, 20 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> ] ] |