3457

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

1 files changed, 59 insertions, 59 deletions

diff --git a/sandbox/012-editor-undo.mu b/sandbox/012-editor-undo.mu
index ce8c9e21..368ef4bb 100644
--- a/sandbox/012-editor-undo.mu
+++ b/sandbox/012-editor-undo.mu
@@ -119,7 +119,7 @@ scenario editor-can-undo-typing [
   screen-should-contain [
     .          .
     .          .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # cursor should be in the right place
@@ -132,7 +132,7 @@ scenario editor-can-undo-typing [
   screen-should-contain [
     .          .
     .1         .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -249,7 +249,7 @@ scenario editor-can-undo-typing-multiple [
   screen-should-contain [
     .          .
     .          .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -268,7 +268,7 @@ scenario editor-can-undo-typing-multiple-2 [
   screen-should-contain [
     .          .
     .012a      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # undo
@@ -282,7 +282,7 @@ scenario editor-can-undo-typing-multiple-2 [
   screen-should-contain [
     .          .
     .a         .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # cursor should be in the right place
@@ -295,7 +295,7 @@ scenario editor-can-undo-typing-multiple-2 [
   screen-should-contain [
     .          .
     .3a        .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -316,7 +316,7 @@ scenario editor-can-undo-typing-enter [
     .          .
     .  abc     .
     .          .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # line is indented
@@ -343,7 +343,7 @@ scenario editor-can-undo-typing-enter [
   screen-should-contain [
     .          .
     .  abc     .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # cursor should be at end of line
@@ -356,7 +356,7 @@ scenario editor-can-undo-typing-enter [
   screen-should-contain [
     .          .
     .  abc1    .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -377,7 +377,7 @@ scenario editor-redo-typing [
   screen-should-contain [
     .          .
     .a         .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo
@@ -391,7 +391,7 @@ scenario editor-redo-typing [
   screen-should-contain [
     .          .
     .012a      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # cursor should be in the right place
@@ -404,7 +404,7 @@ scenario editor-redo-typing [
   screen-should-contain [
     .          .
     .0123a     .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -441,7 +441,7 @@ scenario editor-redo-typing-empty [
   screen-should-contain [
     .          .
     .          .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo
@@ -455,7 +455,7 @@ scenario editor-redo-typing-empty [
   screen-should-contain [
     .          .
     .012       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # cursor should be in the right place
@@ -468,7 +468,7 @@ scenario editor-redo-typing-empty [
   screen-should-contain [
     .          .
     .0123      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -497,7 +497,7 @@ ghi]
     .0abc      .
     .def       .
     .ghi       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
   # redo
   assume-console [
@@ -512,7 +512,7 @@ ghi]
     .0abc      .
     .def       .
     .ghi       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -537,7 +537,7 @@ scenario editor-can-redo-typing-and-enter-and-tab [
     .          .
     .  ab  cd  .
     .    efg   .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -564,7 +564,7 @@ scenario editor-can-redo-typing-and-enter-and-tab [
     .          .
     .  ab  cd  .
     .          .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # undo again
@@ -584,7 +584,7 @@ scenario editor-can-redo-typing-and-enter-and-tab [
   screen-should-contain [
     .          .
     .  ab  cd  .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # undo again
@@ -604,7 +604,7 @@ scenario editor-can-redo-typing-and-enter-and-tab [
   screen-should-contain [
     .          .
     .          .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo
@@ -624,7 +624,7 @@ scenario editor-can-redo-typing-and-enter-and-tab [
   screen-should-contain [
     .          .
     .  ab  cd  .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo again
@@ -645,7 +645,7 @@ scenario editor-can-redo-typing-and-enter-and-tab [
     .          .
     .  ab  cd  .
     .          .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo again
@@ -666,7 +666,7 @@ scenario editor-can-redo-typing-and-enter-and-tab [
     .          .
     .  ab  cd  .
     .    efg   .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -713,7 +713,7 @@ ghi]
     .1abc      .
     .def       .
     .ghi       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -805,7 +805,7 @@ ghi]
     .abc       .
     .def       .
     .g1hi      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -856,7 +856,7 @@ ghi]
     .abc       .
     .def       .
     .g1hi      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -901,7 +901,7 @@ ghi]
     .abc       .
     .d1ef      .
     .ghi       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -946,7 +946,7 @@ ghi]
     .abc       .
     .d1ef      .
     .ghi       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -991,7 +991,7 @@ ghi]
     .abc       .
     .d1ef      .
     .ghi       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -1036,7 +1036,7 @@ ghi]
     .abc       .
     .d1ef      .
     .ghi       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -1081,7 +1081,7 @@ ghi]
     .abc       .
     .d1ef      .
     .ghi       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -1180,7 +1180,7 @@ ghi]
     .abc       .
     .def       .
     .g1hi      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
   ]
 ]
 
@@ -1215,7 +1215,7 @@ scenario editor-separates-undo-insert-from-undo-cursor-move [
   screen-should-contain [
     .          .
     .adbc      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   memory-should-contain [
@@ -1235,7 +1235,7 @@ scenario editor-separates-undo-insert-from-undo-cursor-move [
   screen-should-contain [
     .          .
     .abc       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   memory-should-contain [
@@ -1255,7 +1255,7 @@ scenario editor-separates-undo-insert-from-undo-cursor-move [
   screen-should-contain [
     .          .
     .abc       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   memory-should-contain [
@@ -1275,7 +1275,7 @@ scenario editor-separates-undo-insert-from-undo-cursor-move [
   screen-should-contain [
     .          .
     .          .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   memory-should-contain [
@@ -1295,7 +1295,7 @@ scenario editor-separates-undo-insert-from-undo-cursor-move [
   screen-should-contain [
     .          .
     .abc       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   memory-should-contain [
@@ -1315,7 +1315,7 @@ scenario editor-separates-undo-insert-from-undo-cursor-move [
   screen-should-contain [
     .          .
     .abc       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # cursor moves
@@ -1336,7 +1336,7 @@ scenario editor-separates-undo-insert-from-undo-cursor-move [
   screen-should-contain [
     .          .
     .adbc      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   memory-should-contain [
@@ -1363,7 +1363,7 @@ scenario editor-can-undo-and-redo-backspace [
   screen-should-contain [
     .          .
     .a         .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -1388,7 +1388,7 @@ scenario editor-can-undo-and-redo-backspace [
   screen-should-contain [
     .          .
     .abc       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo
@@ -1407,7 +1407,7 @@ scenario editor-can-undo-and-redo-backspace [
   screen-should-contain [
     .          .
     .a         .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -1511,7 +1511,7 @@ scenario editor-can-undo-and-redo-delete [
   screen-should-contain [
     .          .
     .af        .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -1536,7 +1536,7 @@ scenario editor-can-undo-and-redo-delete [
   screen-should-contain [
     .          .
     .adef      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # undo backspace
@@ -1555,7 +1555,7 @@ scenario editor-can-undo-and-redo-delete [
   screen-should-contain [
     .          .
     .abdef     .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # undo first delete
@@ -1574,7 +1574,7 @@ scenario editor-can-undo-and-redo-delete [
   screen-should-contain [
     .          .
     .abcdef    .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo first delete
@@ -1594,7 +1594,7 @@ scenario editor-can-undo-and-redo-delete [
   screen-should-contain [
     .          .
     .abdef     .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo backspace
@@ -1614,7 +1614,7 @@ scenario editor-can-undo-and-redo-delete [
   screen-should-contain [
     .          .
     .adef      .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   # redo deletes
@@ -1634,7 +1634,7 @@ scenario editor-can-undo-and-redo-delete [
   screen-should-contain [
     .          .
     .af        .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -1699,7 +1699,7 @@ def]
     .          .
     .a         .
     .def       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -1719,7 +1719,7 @@ def]
     .          .
     .abc       .
     .def       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -1740,7 +1740,7 @@ def]
     .          .
     .a         .
     .def       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -1760,7 +1760,7 @@ def]
     .          .
     .a1        .
     .def       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -1802,7 +1802,7 @@ def]
     .          .
     .c         .
     .def       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -1822,7 +1822,7 @@ def]
     .          .
     .abc       .
     .def       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -1843,7 +1843,7 @@ def]
     .          .
     .c         .
     .def       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
   3:num/raw <- get *e, cursor-row:offset
@@ -1863,7 +1863,7 @@ def]
     .          .
     .1c        .
     .def       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]
@@ -1902,7 +1902,7 @@ scenario editor-can-undo-and-redo-ctrl-u-2 [
   screen-should-contain [
     .          .
     .abc       .
-    .┈┈┈┈┈┈┈┈┈┈.
+    .╌╌╌╌╌╌╌╌╌╌.
     .          .
   ]
 ]