about summary refs log tree commit diff stats
path: root/html/edit/007-sandbox-delete.mu.html
blob: 0709f0696d87ccba5af70d1ed81b16e0b4afdb12 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52<
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<html><head><title>Python: module ranger.gui.color</title>
</head><body bgcolor="#f0f0f8">

<table width="100%" cellspacing=0 cellpadding=2 border=0 summary="heading">
<tr bgcolor="#7799ee">
<td valign=bottom>&nbsp;<br>
<font color="#ffffff" face="helvetica, arial">&nbsp;<br><big><big><strong><a href="ranger.html"><font color="#ffffff">ranger</font></a>.<a href="ranger.gui.html"><font color="#ffffff">gui</font></a>.color</strong></big></big></font></td
><td align=right valign=bottom
><font color="#ffffff" face="helvetica, arial"><a href=".">index</a><br><a href="file:/home/hut/ranger/ranger/gui/color.py">/home/hut/ranger/ranger/gui/color.py</a></font></td></tr></table>
    <p><tt>Contains&nbsp;abbreviations&nbsp;to&nbsp;curses&nbsp;color/attribute&nbsp;constants.<br>
&nbsp;<br>
Multiple&nbsp;pre { line-height: 125%; }
td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #888888 } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { color: #008800; font-weight: bold } /* Keyword */
.highlight .ch { color: #888888 } /* Comment.Hashbang */
.highlight .cm { color: #888888 } /* Comment.Multiline */
.highlight .cp { color: #cc0000; font-weight: bold } /* Comment.Preproc */
.highlight .cpf { color: #888888 } /* Comment.PreprocFile */
.highlight .c1 { color: #888888 } /* Comment.Single */
.highlight .cs { color: #cc0000; font-weight: bold; background-color: #fff0f0 } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #333333 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #666666 } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { color: #008800; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008800; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008800; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008800 } /* Keyword.Pseudo */
.highlight .kr { color: #008800; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #888888; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #0000DD; font-weight: bold } /* Literal.Number */
.highlight .s { color: #dd2200; background-color: #fff0f0 } /* Literal.String */
.highlight .na { color: #336699 } /* Name.Attribute */
.highlight .nb { color: #003388 } /* Name.Builtin */
.highlight .nc { color: #bb0066; font-weight: bold } /* Name.Class */
.highlight .no { color: #003366; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #555555 } /* Name.Decorator */
.highlight .ne { color: #bb0066; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #0066bb; font-weight: bold } /* Name.Function */
.highlight .nl { color: #336699; font-style: italic } /* Name.Label */
.highlight .nn { color: #bb0066; font-weight: bold } /* Name.Namespace */
.highlight .py { color: #336699; font-weight: bold } /* Name.Property */
.highlight .nt { color: #bb0066; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #336699 } /* Name.Variable */
.highlight .ow { color: #008800 } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #0000DD; font-weight: bold } /* Literal.Number.Bin */
.highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */
.highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */
.highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */
.highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */
.highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */
.highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */
.highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */
.highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */
.highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */
.highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */
.highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */
.highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */
.highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */
.highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */
.highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */
.highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */
.highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */
.highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #336699 } /* Name.Variable.Class */
.highlight .vg { color: #dd7700 } /* Name.Variable.Global */
.highlight .vi { color: #3333bb } /* Name.Variable.Instance */
.highlight .vm { color: #336699 } /* Name.Variable.Magic */
.highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - edit/007-sandbox-delete.mu</title>
<meta name="Generator" content="Vim/7.4">
<meta name="plugin-version" content="vim7.4_v2">
<meta name="syntax" content="none">
<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy=">
<meta name="colorscheme" content="minimal">
<style type="text/css">
<!--
pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
* { font-size: 12pt; font-size: 1em; }
.Delimiter { color: #800080; }
.muControl { color: #c0a020; }
.Special { color: #c00000; }
.Comment { color: #9090ff; }
.Constant { color: #00a0a0; }
.SalientComment { color: #00ffff; }
.muRecipe { color: #ff8700; }
.muScenario { color: #00af00; }
-->
</style>

<script type='text/javascript'>
<!--

-->
</script>
</head>
<body>
<pre id='vimCodeElement'>
<span class="SalientComment">## deleting sandboxes</span>

<span class="muScenario">scenario</span> deleting-sandboxes [
  <span class="Constant">local-scope</span>
  trace-until <span class="Constant">100/app</span>  <span class="Comment"># trace too long</span>
  assume-screen <span class="Constant">100/width</span>, <span class="Constant">15/height</span>
  env:&amp;:environment<span class="Special"> &lt;- </span>new-programming-environment screen, <span class="Constant">[]</span>, <span class="Constant">[]</span>
  <span class="Comment"># run a few commands</span>
  assume-console [
    left-click <span class="Constant">1</span>, <span class="Constant">80</span>
    type <span class="Constant">[divide-with-remainder 11, 3]</span>
    press F4
    type <span class="Constant">[add 2, 2]</span>
    press F4
  ]
  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="Comment"># delete second sandbox by clicking on left edge of 'delete' button</span>
  assume-console [
    left-click <span class="Constant">7</span>, <span class="Constant">85</span>
  ]
  run [
    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"> .                                                  ╎                                                 .</span>
   <span class="Constant"> .                                                  ╎                                                 .</span>
  ]
  <span class="Comment"># delete first sandbox by clicking at right edge of 'delete' button</span>
  assume-console [
    left-click <span class="Constant">3</span>, <span class="Constant">99</span>
  ]
  run [
    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"> .                                                  ╎                                                 .</span>
   <span class="Constant"> .                                                  ╎                                                 .</span>
  ]
]

<span class="muRecipe">after</span> <span class="Constant">&lt;global-touch&gt;</span> [
  <span class="Comment"># support 'delete' button</span>
  <span class="Delimiter">{</span>
    delete?:bool<span class="Special"> &lt;- </span>should-attempt-delete? click-row, click-column, env
    <span class="muControl">break-unless</span> delete?
    delete?, env<span class="Special"> &lt;- </span>try-delete-sandbox click-row, env
    <span class="muControl">break-unless</span> delete?
    hide-screen screen
    screen<span class="Special"> &lt;- </span>render-sandbox-side screen, env, render
    screen<span class="Special"> &lt;- </span>update-cursor screen, recipes, current-sandbox, sandbox-in-focus?, env
    show-screen screen
    <span class="muControl">loop</span> <span class="Constant">+next-event:label</span>
  <span class="Delimiter">}</span>
]

<span class="Comment"># some preconditions for attempting to delete a sandbox</span>
<span class="muRecipe">def</span> should-attempt-delete? click-row:num, click-column:num, env:&amp;:environment<span class="muRecipe"> -&gt; </span>result:bool [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  <span class="Comment"># are we below the sandbox editor?</span>
  click-sandbox-area?:bool<span class="Special"> &lt;- </span>click-on-sandbox-area? click-row, click-column, env
  <span class="muControl">reply-unless</span> click-sandbox-area?, <span class="Constant">0/false</span>
  <span class="Comment"># narrower, is the click in the columns spanning the 'copy' button?</span>
  first-sandbox:&amp;:editor<span class="Special"> &lt;- </span>get *env, <span class="Constant">current-sandbox:offset</span>
  assert first-sandbox, <span class="Constant">[!!]</span>
  sandbox-left-margin:num<span class="Special"> &lt;- </span>get *first-sandbox, <span class="Constant">left:offset</span>
  sandbox-right-margin:num<span class="Special"> &lt;- </span>get *first-sandbox, <span class="Constant">right:offset</span>
  _, _, _, _, delete-button-left:num<span class="Special"> &lt;- </span>sandbox-menu-columns sandbox-left-margin, sandbox-right-margin
  result<span class="Special"> &lt;- </span>within-range? click-column, delete-button-left, sandbox-right-margin
]

<span class="muRecipe">def</span> try-delete-sandbox click-row:num, env:&amp;:environment<span class="muRecipe"> -&gt; </span>clicked-on-delete-button?:bool, env:&amp;:environment [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  <span class="Comment"># identify the sandbox to delete, if the click was actually on the 'delete' button</span>
  sandbox:&amp;:sandbox<span class="Special"> &lt;- </span>find-sandbox env, click-row
  <span class="muControl">return-unless</span> sandbox, <span class="Constant">0/false</span>
  clicked-on-delete-button?<span class="Special"> &lt;- </span>copy <span class="Constant">1/true</span>
  env<span class="Special"> &lt;- </span>delete-sandbox env, sandbox
]

<span class="muRecipe">def</span> delete-sandbox env:&amp;:environment, sandbox:&amp;:sandbox<span class="muRecipe"> -&gt; </span>env:&amp;:environment [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  curr-sandbox:&amp;:sandbox<span class="Special"> &lt;- </span>get *env, <span class="Constant">sandbox:offset</span>
  first-sandbox?:bool<span class="Special"> &lt;- </span>equal curr-sandbox, sandbox
  <span class="Delimiter">{</span>
    <span class="Comment"># first sandbox? pop</span>
    <span class="muControl">break-unless</span> first-sandbox?
    next-sandbox:&amp;:sandbox<span class="Special"> &lt;- </span>get *curr-sandbox, <span class="Constant">next-sandbox:offset</span>
    *env<span class="Special"> &lt;- </span>put *env, <span class="Constant">sandbox:offset</span>, next-sandbox
  <span class="Delimiter">}</span>
  <span class="Delimiter">{</span>
    <span class="Comment"># not first sandbox?</span>
    <span class="muControl">break-if</span> first-sandbox?
    prev-sandbox:&amp;:sandbox<span class="Special"> &lt;- </span>copy curr-sandbox
    curr-sandbox<span class="Special"> &lt;- </span>get *curr-sandbox, <span class="Constant">next-sandbox:offset</span>
    <span class="Delimiter">{</span>
      assert curr-sandbox, <span class="Constant">[sandbox not found! something is wrong.]</span>
      found?:bool<span class="Special"> &lt;- </span>equal curr-sandbox, sandbox
      <span class="muControl">break-if</span> found?
      prev-sandbox<span class="Special"> &lt;- </span>copy curr-sandbox
      curr-sandbox<span class="Special"> &lt;- </span>get *curr-sandbox, <span class="Constant">next-sandbox:offset</span>
      <span class="muControl">loop</span>
    <span class="Delimiter">}</span>
    <span class="Comment"># snip sandbox out of its list</span>
    next-sandbox:&amp;:sandbox<span class="Special"> &lt;- </span>get *curr-sandbox, <span class="Constant">next-sandbox:offset</span>
    *prev-sandbox<span class="Special"> &lt;- </span>put *prev-sandbox, <span class="Constant">next-sandbox:offset</span>, next-sandbox
  <span class="Delimiter">}</span>
  <span class="Comment"># update sandbox count</span>
  sandbox-count:num<span class="Special"> &lt;- </span>get *env, <span class="Constant">number-of-sandboxes:offset</span>
  sandbox-count<span class="Special"> &lt;- </span>subtract sandbox-count, <span class="Constant">1</span>
  *env<span class="Special"> &lt;- </span>put *env, <span class="Constant">number-of-sandboxes:offset</span>, sandbox-count
  <span class="Comment"># reset scroll if deleted sandbox was last</span>
  <span class="Delimiter">{</span>
    <span class="muControl">break-if</span> next-sandbox
    render-from:num<span class="Special"> &lt;- </span>get *env, <span class="Constant">render-from:offset</span>
    reset-scroll?:bool<span class="Special"> &lt;- </span>equal render-from, sandbox-count
    <span class="muControl">break-unless</span> reset-scroll?
    *env<span class="Special"> &lt;- </span>put *env, <span class="Constant">render-from:offset</span>, <span class="Constant">-1</span>
  <span class="Delimiter">}</span>
]

<span class="muScenario">scenario</span> deleting-sandbox-after-scroll [
  <span class="Constant">local-scope</span>
  trace-until <span class="Constant">100/app</span>  <span class="Comment"># trace too long</span>
  assume-screen <span class="Constant">100/width</span>, <span class="Constant">10/height</span>
  <span class="Comment"># initialize environment</span>
  env:&amp;:environment<span class="Special"> &lt;- </span>new-programming-environment screen, <span class="Constant">[]</span>, <span class="Constant">[]</span>
  render-all screen, env, render
  <span class="Comment"># create 2 sandboxes and scroll to second</span>
  assume-console [
    press ctrl-n
    type <span class="Constant">[add 2, 2]</span>
    press F4
    type <span class="Constant">[add 1, 1]</span>
    press F4
    press page-down
  ]
  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="Comment"># delete the second sandbox</span>
  assume-console [
    left-click <span class="Constant">6</span>, <span class="Constant">99</span>
  ]
  run [
    event-loop screen, console, env
  ]
  <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="muScenario">scenario</span> deleting-top-sandbox-after-scroll [
  <span class="Constant">local-scope</span>
  trace-until <span class="Constant">100/app</span>  <span class="Comment"># trace too long</span>
  assume-screen <span class="Constant">100/width</span>, <span class="Constant">10/height</span>
  <span class="Comment"># initialize environment</span>
  env:&amp;:environment<span class="Special"> &lt;- </span>new-programming-environment screen, <span class="Constant">[]</span>, <span class="Constant">[]</span>
  render-all screen, env, render
  <span class="Comment"># create 2 sandboxes and scroll to second</span>
  assume-console [
    press ctrl-n
    type <span class="Constant">[add 2, 2]</span>
    press F4
    type <span class="Constant">[add 1, 1]</span>
    press F4
    press page-down
  ]
  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="Comment"># delete the second sandbox</span>
  assume-console [
    left-click <span class="Constant">2</span>, <span class="Constant">99</span>
  ]
  run [
    event-loop screen, console, env
  ]
  <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="muScenario">scenario</span> deleting-final-sandbox-after-scroll [
  <span class="Constant">local-scope</span>
  trace-until <span class="Constant">100/app</span>  <span class="Comment"># trace too long</span>
  assume-screen <span class="Constant">100/width</span>, <span class="Constant">10/height</span>
  <span class="Comment"># initialize environment</span>
  env:&amp;:environment<span class="Special"> &lt;- </span>new-programming-environment screen, <span class="Constant">[]</span>, <span class="Constant">[]</span>
  render-all screen, env, render
  <span class="Comment"># create 2 sandboxes and scroll to second</span>
  assume-console [
    press ctrl-n
    type <span class="Constant">[add 2, 2]</span>
    press F4
    type <span class="Constant">[add 1, 1]</span>
    press F4
    press page-down
    press page-down
  ]
  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="Comment"># delete the second sandbox</span>
  assume-console [
    left-click <span class="Constant">2</span>, <span class="Constant">99</span>
  ]
  run [
    event-loop screen, console, env
  ]
  <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="muScenario">scenario</span> deleting-updates-sandbox-count [
  <span class="Constant">local-scope</span>
  trace-until <span class="Constant">100/app</span>  <span class="Comment"># trace too long</span>
  assume-screen <span class="Constant">100/width</span>, <span class="Constant">10/height</span>
  <span class="Comment"># initialize environment</span>
  env:&amp;:environment<span class="Special"> &lt;- </span>new-programming-environment screen, <span class="Constant">[]</span>, <span class="Constant">[]</span>
  render-all screen, env, render
  <span class="Comment"># create 2 sandboxes</span>
  assume-console [
    press ctrl-n
    type <span class="Constant">[add 2, 2]</span>
    press F4
    type <span class="Constant">[add 1, 1]</span>
    press F4
  ]
  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="Comment"># delete the second sandbox, then try to scroll down twice</span>
  assume-console [
    left-click <span class="Constant">3</span>, <span class="Constant">99</span>
    press page-down
    press page-down
  ]
  run [
    event-loop screen, console, env
  ]
  <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>
  ]
]
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->