diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-01-11 22:44:25 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-01-11 22:44:25 -0800 |
| commit | 42f08f13b2fbbaab65783124553ac3022af8fa02 (patch) | |
| tree | fbb1e8635446b7bc1a93c2c01dd9a2a4c82c9baa /html/edit/010-sandbox-trace.mu.html | |
| parent | 218e8cf2677e0d6a359a0af4963a33c82ce960b9 (diff) | |
| download | mu-42f08f13b2fbbaab65783124553ac3022af8fa02.tar.gz | |
3734
Diffstat (limited to 'html/edit/010-sandbox-trace.mu.html')
| -rw-r--r-- | html/edit/010-sandbox-trace.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/010-sandbox-trace.mu.html b/html/edit/010-sandbox-trace.mu.html index 472a7698..caafdea5 100644 --- a/html/edit/010-sandbox-trace.mu.html +++ b/html/edit/010-sandbox-trace.mu.html @@ -262,7 +262,7 @@ if ('onhashchange' in window) { <span id="L201" class="LineNr">201 </span> x <span class="Special"><-</span> not x <span id="L202" class="LineNr">202 </span> *sandbox <span class="Special"><-</span> put *sandbox, <span class="Constant">display-trace?:offset</span>, x <span id="L203" class="LineNr">203 </span> <a href='../081print.mu.html#L623'>hide-screen</a> <a href='../081print.mu.html#L4'>screen</a> -<span id="L204" class="LineNr">204 </span> <a href='../081print.mu.html#L4'>screen</a> <span class="Special"><-</span> <a href='004-programming-environment.mu.html#L496'>render-sandbox-side</a> <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> +<span id="L204" class="LineNr">204 </span> <a href='../081print.mu.html#L4'>screen</a> <span class="Special"><-</span> render-sandbox-side <a href='../081print.mu.html#L4'>screen</a>, env, <a href='001-editor.mu.html#L123'>render</a> <span id="L205" class="LineNr">205 </span> <a href='../081print.mu.html#L4'>screen</a> <span class="Special"><-</span> <a href='004-programming-environment.mu.html#L511'>update-cursor</a> <a href='../081print.mu.html#L4'>screen</a>, recipes, current-sandbox, sandbox-in-focus?, env <span id="L206" class="LineNr">206 </span> <span class="Comment"># no change in cursor</span> <span id="L207" class="LineNr">207 </span> <a href='../081print.mu.html#L631'>show-screen</a> <a href='../081print.mu.html#L4'>screen</a> |