3457

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

1 files changed, 46 insertions, 46 deletions

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 [