about summary refs log tree commit diff stats
path: root/html/edit/002-typing.mu.html
diff options
context:
space:
mode:
Diffstat (limited to 'html/edit/002-typing.mu.html')
-rw-r--r--html/edit/002-typing.mu.html26
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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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">&lt;-</span> new <span class="Constant">[abc</span>
 <span class="Constant">def]</span>
   e:&amp;:editor <span class="Special">&lt;-</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">&lt;-</span> new <span class="Constant">[abc</span>
 <span class="Constant">def]</span>
   e:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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:&amp;:editor <span class="Special">&lt;-</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>