diff options
Diffstat (limited to 'html/edit/012-editor-undo.mu.html')
-rw-r--r-- | html/edit/012-editor-undo.mu.html | 122 |
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 <- </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 <- </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 <- </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 <- </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 <- </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 <- </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 <- </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 <- </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 <- </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> ] ] |