3457

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

1 files changed, 61 insertions, 61 deletions

diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html
index c4ea79ee..97238c64 100644
--- a/html/edit/012-editor-undo.mu.html
+++ b/html/edit/012-editor-undo.mu.html
@@ -154,7 +154,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .          .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># cursor should be in the right place</span>
@@ -167,7 +167,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .1         .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -284,7 +284,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .          .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -303,7 +303,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .012a      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># undo</span>
@@ -317,7 +317,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .a         .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># cursor should be in the right place</span>
@@ -330,7 +330,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .3a        .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -351,7 +351,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .  abc     .</span>
    <span class="Constant"> .          .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># line is indented</span>
@@ -378,7 +378,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>
   ]
   <span class="Comment"># cursor should be at end of line</span>
@@ -391,7 +391,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .  abc1    .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -412,7 +412,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .a         .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># redo</span>
@@ -426,7 +426,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .012a      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># cursor should be in the right place</span>
@@ -439,7 +439,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .0123a     .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -476,7 +476,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .          .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># redo</span>
@@ -490,7 +490,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .012       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># cursor should be in the right place</span>
@@ -503,7 +503,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .0123      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -532,7 +532,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"> .ghi       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
   <span class="Comment"># redo</span>
   assume-console [
@@ -547,7 +547,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"> .ghi       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -572,7 +572,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .  ab  cd  .</span>
    <span class="Constant"> .    efg   .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -599,7 +599,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .  ab  cd  .</span>
    <span class="Constant"> .          .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># undo again</span>
@@ -619,7 +619,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .  ab  cd  .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># undo again</span>
@@ -639,7 +639,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .          .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># redo</span>
@@ -659,7 +659,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .  ab  cd  .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># redo again</span>
@@ -680,7 +680,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .  ab  cd  .</span>
    <span class="Constant"> .          .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># redo again</span>
@@ -701,7 +701,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .  ab  cd  .</span>
    <span class="Constant"> .    efg   .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -748,7 +748,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .1abc      .</span>
    <span class="Constant"> .def       .</span>
    <span class="Constant"> .ghi       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -904,7 +904,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .abc       .</span>
    <span class="Constant"> .def       .</span>
    <span class="Constant"> .g1hi      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -955,7 +955,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .abc       .</span>
    <span class="Constant"> .def       .</span>
    <span class="Constant"> .g1hi      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1000,7 +1000,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .abc       .</span>
    <span class="Constant"> .d1ef      .</span>
    <span class="Constant"> .ghi       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1103,7 +1103,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .d         .</span>
    <span class="Constant"> .e         .</span>
    <span class="Constant"> .f         .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1138,7 +1138,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .d         .</span>
    <span class="Constant"> .e         .</span>
    <span class="Constant"> .f         .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1183,7 +1183,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .abc       .</span>
    <span class="Constant"> .d1ef      .</span>
    <span class="Constant"> .ghi       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1228,7 +1228,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .abc       .</span>
    <span class="Constant"> .d1ef      .</span>
    <span class="Constant"> .ghi       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1273,7 +1273,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .abc       .</span>
    <span class="Constant"> .d1ef      .</span>
    <span class="Constant"> .ghi       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1318,7 +1318,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .abc       .</span>
    <span class="Constant"> .d1ef      .</span>
    <span class="Constant"> .ghi       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1417,7 +1417,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .abc       .</span>
    <span class="Constant"> .def       .</span>
    <span class="Constant"> .g1hi      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
   ]
 ]
 
@@ -1452,7 +1452,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .adbc      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   memory-should-contain [
@@ -1472,7 +1472,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 [
@@ -1492,7 +1492,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 [
@@ -1512,7 +1512,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .          .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   memory-should-contain [
@@ -1532,7 +1532,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 [
@@ -1552,7 +1552,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>
   ]
   <span class="Comment"># cursor moves</span>
@@ -1573,7 +1573,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .adbc      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   memory-should-contain [
@@ -1600,7 +1600,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .a         .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -1625,7 +1625,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>
   ]
   <span class="Comment"># redo</span>
@@ -1644,7 +1644,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .a         .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -1748,7 +1748,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .af        .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -1773,7 +1773,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .adef      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># undo backspace</span>
@@ -1792,7 +1792,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .abdef     .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># undo first delete</span>
@@ -1811,7 +1811,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .abcdef    .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># redo first delete</span>
@@ -1831,7 +1831,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .abdef     .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># redo backspace</span>
@@ -1851,7 +1851,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .adef      .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Comment"># redo deletes</span>
@@ -1871,7 +1871,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   screen-should-contain [
    <span class="Constant"> .          .</span>
    <span class="Constant"> .af        .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -1936,7 +1936,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .a         .</span>
    <span class="Constant"> .def       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -1956,7 +1956,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>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -1977,7 +1977,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .a         .</span>
    <span class="Constant"> .def       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -1997,7 +1997,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .a1        .</span>
    <span class="Constant"> .def       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -2039,7 +2039,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .c         .</span>
    <span class="Constant"> .def       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -2059,7 +2059,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>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -2080,7 +2080,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .c         .</span>
    <span class="Constant"> .def       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
   <span class="Constant">3</span>:num/<span class="Special">raw &lt;- </span>get *e, <span class="Constant">cursor-row:offset</span>
@@ -2100,7 +2100,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
    <span class="Constant"> .          .</span>
    <span class="Constant"> .1c        .</span>
    <span class="Constant"> .def       .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈.</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌.</span>
    <span class="Constant"> .          .</span>
   ]
 ]
@@ -2139,7 +2139,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>
   ]
 ]