about summary refs log tree commit diff stats
path: root/html/edit/007-sandbox-delete.mu.html
diff options
context:
space:
mode:
Diffstat (limited to 'html/edit/007-sandbox-delete.mu.html')
-rw-r--r--html/edit/007-sandbox-delete.mu.html152
1 files changed, 76 insertions, 76 deletions
diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html
index d1ab4452..0709f069 100644
--- a/html/edit/007-sandbox-delete.mu.html
+++ b/html/edit/007-sandbox-delete.mu.html
@@ -50,18 +50,18 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   event-loop screen, console, env
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 2, 2                                         .</span>
-   <span class="Constant"> .                                                  ┊4                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊1   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊divide-with-remainder 11, 3                      .</span>
-   <span class="Constant"> .                                                  ┊3                                                .</span>
-   <span class="Constant"> .                                                  ┊2                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 2, 2                                         .</span>
+   <span class="Constant"> .                                                  ╎4                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎1   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎divide-with-remainder 11, 3                      .</span>
+   <span class="Constant"> .                                                  ╎3                                                .</span>
+   <span class="Constant"> .                                                  ╎2                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
   ]
   <span class="Comment"># delete second sandbox by clicking on left edge of 'delete' button</span>
   assume-console [
@@ -72,14 +72,14 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   ]
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 2, 2                                         .</span>
-   <span class="Constant"> .                                                  ┊4                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 2, 2                                         .</span>
+   <span class="Constant"> .                                                  ╎4                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
   ]
   <span class="Comment"># delete first sandbox by clicking at right edge of 'delete' button</span>
   assume-console [
@@ -90,10 +90,10 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   ]
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
   ]
 ]
 
@@ -199,12 +199,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   event-loop screen, console, env
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 1, 1                                         .</span>
-   <span class="Constant"> .                                                  ┊2                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊1   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 1, 1                                         .</span>
+   <span class="Constant"> .                                                  ╎2                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎1   edit          copy            delete         .</span>
   ]
   <span class="Comment"># delete the second sandbox</span>
   assume-console [
@@ -216,12 +216,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   <span class="Comment"># second sandbox shows in editor; scroll resets to display first sandbox</span>
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 1, 1                                         .</span>
-   <span class="Constant"> .                                                  ┊2                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 1, 1                                         .</span>
+   <span class="Constant"> .                                                  ╎2                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
   ]
 ]
 
@@ -244,12 +244,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   event-loop screen, console, env
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 1, 1                                         .</span>
-   <span class="Constant"> .                                                  ┊2                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊1   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 1, 1                                         .</span>
+   <span class="Constant"> .                                                  ╎2                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎1   edit          copy            delete         .</span>
   ]
   <span class="Comment"># delete the second sandbox</span>
   assume-console [
@@ -261,12 +261,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   <span class="Comment"># second sandbox shows in editor; scroll resets to display first sandbox</span>
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 2, 2                                         .</span>
-   <span class="Constant"> .                                                  ┊4                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 2, 2                                         .</span>
+   <span class="Constant"> .                                                  ╎4                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
   ]
 ]
 
@@ -290,12 +290,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   event-loop screen, console, env
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊1   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 2, 2                                         .</span>
-   <span class="Constant"> .                                                  ┊4                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎1   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 2, 2                                         .</span>
+   <span class="Constant"> .                                                  ╎4                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
   ]
   <span class="Comment"># delete the second sandbox</span>
   assume-console [
@@ -307,13 +307,13 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   <span class="Comment"># implicitly scroll up to first sandbox</span>
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 1, 1                                         .</span>
-   <span class="Constant"> .                                                  ┊2                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 1, 1                                         .</span>
+   <span class="Constant"> .                                                  ╎2                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
   ]
 ]
 
@@ -335,15 +335,15 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   event-loop screen, console, env
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
-<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 1, 1                                         .</span>
-   <span class="Constant"> .                                                  ┊2                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊1   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 2, 2                                         .</span>
-   <span class="Constant"> .                                                  ┊4                                                .</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
+<span class="Constant">    .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 1, 1                                         .</span>
+   <span class="Constant"> .                                                  ╎2                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎1   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 2, 2                                         .</span>
+   <span class="Constant"> .                                                  ╎4                                                .</span>
   ]
   <span class="Comment"># delete the second sandbox, then try to scroll down twice</span>
   assume-console [
@@ -357,12 +357,12 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   <span class="Comment"># shouldn't go past last sandbox</span>
   screen-should-contain [
    <span class="Constant"> .                                                                                 run (F4)           .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊0   edit          copy            delete         .</span>
-   <span class="Constant"> .                                                  ┊add 2, 2                                         .</span>
-   <span class="Constant"> .                                                  ┊4                                                .</span>
-   <span class="Constant"> .                                                  ┊━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━.</span>
-   <span class="Constant"> .                                                  ┊                                                 .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╎0   edit          copy            delete         .</span>
+   <span class="Constant"> .                                                  ╎add 2, 2                                         .</span>
+   <span class="Constant"> .                                                  ╎4                                                .</span>
+   <span class="Constant"> .                                                  ╎─────────────────────────────────────────────────.</span>
+   <span class="Constant"> .                                                  ╎                                                 .</span>
   ]
 ]
 </pre>