3457

Switch around some unicode characters in the edit/ app so that it
renders more cleanly in html (with monospace fonts).

1 files changed, 27 insertions, 27 deletions

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"> &lt;- </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:&amp;:editor<span class="Special"> &lt;- </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"> &lt;- </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"> &lt;- </span>divide-with-remainder width, <span class="Constant">2</span>
   height:num<span class="Special"> &lt;- </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"> &lt;- </span>render-recipes screen, env, render-editor
   screen<span class="Special"> &lt;- </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"> &lt;- </span>add row, <span class="Constant">1</span>
 <span class="Constant">  &lt;render-recipe-components-end&gt;</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"> &lt;- </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"> &lt;- </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"> &lt;- </span>add row, <span class="Constant">1</span>
   clear-screen-from screen, row, left, left, right
 ]