diff options
Diffstat (limited to 'html/edit/002-typing.mu.html')
| -rw-r--r-- | html/edit/002-typing.mu.html | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index 15853c1f..c651168a 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -330,7 +330,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span> e:&:editor <span class="Special"><-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 1</span>,<span class="Constant"> 1</span> <span class="Comment"># on the 'b'</span> ] @@ -356,7 +356,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">local-scope</span> assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span> e:&:editor <span class="Special"><-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 1</span>,<span class="Constant"> 7</span> <span class="Comment"># last line, to the right of text</span> ] @@ -378,7 +378,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text <span class="Special"><-</span> new <span class="Constant">[abc</span> <span class="Constant">def]</span> e:&:editor <span class="Special"><-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 1</span>,<span class="Constant"> 7</span> <span class="Comment"># interior line, to the right of text</span> ] @@ -400,7 +400,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color s:text <span class="Special"><-</span> new <span class="Constant">[abc</span> <span class="Constant">def]</span> e:&:editor <span class="Special"><-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 3</span>,<span class="Constant"> 7</span> <span class="Comment"># below text</span> ] @@ -422,7 +422,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Comment"># editor occupies only left half of screen</span> e:&:editor <span class="Special"><-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ <span class="Comment"># click on right half of screen</span> left-click<span class="Constant"> 3</span>,<span class="Constant"> 8</span> @@ -450,7 +450,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span> e:&:editor <span class="Special"><-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ <span class="Comment"># click on first, 'menu' row</span> left-click<span class="Constant"> 0</span>,<span class="Constant"> 3</span> @@ -472,7 +472,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span> e:&:editor <span class="Special"><-</span> new-editor <span class="Constant">[]</span>, <span class="Constant">0/left</span>, <span class="Constant">5/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ type <span class="Constant">[abc]</span> ] @@ -493,7 +493,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span> e:&:editor <span class="Special"><-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace <span class="Comment"># type two letters at different places</span> assume-console [ type <span class="Constant">[0]</span> @@ -517,7 +517,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span> e:&:editor <span class="Special"><-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 1</span>,<span class="Constant"> 5</span> <span class="Comment"># right of last line</span> type <span class="Constant">[d]</span> @@ -541,7 +541,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">d]</span> e:&:editor <span class="Special"><-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 1</span>,<span class="Constant"> 5</span> <span class="Comment"># right of non-last line</span> type <span class="Constant">[e]</span> @@ -564,7 +564,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color assume-screen <span class="Constant">10/width</span>, <span class="Constant">5/height</span> e:&:editor <span class="Special"><-</span> new-editor <span class="Constant">[abc]</span>, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 3</span>,<span class="Constant"> 5</span> <span class="Comment"># below all text</span> type <span class="Constant">[d]</span> @@ -588,7 +588,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">d]</span> e:&:editor <span class="Special"><-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 3</span>,<span class="Constant"> 5</span> <span class="Comment"># below all text</span> type <span class="Constant">[e]</span> @@ -613,7 +613,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color <span class="Constant">d]</span> e:&:editor <span class="Special"><-</span> new-editor s, <span class="Constant">0/left</span>, <span class="Constant">10/right</span> editor-render screen, e -<span class="Constant"> $clear-trace</span> + $clear-trace assume-console [ left-click<span class="Constant"> 3</span>,<span class="Constant"> 5</span> <span class="Comment"># below all text</span> type <span class="Constant">[ef]</span> |