diff options
Diffstat (limited to 'html/edit/008-sandbox-edit.mu.html')
| -rw-r--r-- | html/edit/008-sandbox-edit.mu.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html index 69a2b864..a9608819 100644 --- a/html/edit/008-sandbox-edit.mu.html +++ b/html/edit/008-sandbox-edit.mu.html @@ -175,7 +175,7 @@ if ('onhashchange' in window) { <span id="L114" class="LineNr">114 </span> edit?, env <span class="Special"><-</span> <a href='008-sandbox-edit.mu.html#L142'>try-edit-sandbox</a> click-row, env <span id="L115" class="LineNr">115 </span> <span class="muControl">break-unless</span> edit? <span id="L116" class="LineNr">116 </span> <a href='../081print.mu.html#L16'>screen</a> <span class="Special"><-</span> render-sandbox-side <a href='../081print.mu.html#L16'>screen</a>, env, <a href='001-editor.mu.html#L107'>render</a> -<span id="L117" class="LineNr">117 </span> <a href='../081print.mu.html#L16'>screen</a> <span class="Special"><-</span> <a href='004-programming-environment.mu.html#L472'>update-cursor</a> <a href='../081print.mu.html#L16'>screen</a>, recipes, current-sandbox, sandbox-in-focus?, env +<span id="L117" class="LineNr">117 </span> <a href='../081print.mu.html#L16'>screen</a> <span class="Special"><-</span> <a href='004-programming-environment.mu.html#L468'>update-cursor</a> <a href='../081print.mu.html#L16'>screen</a>, recipes, current-sandbox, sandbox-in-focus?, env <span id="L118" class="LineNr">118 </span> <span class="muControl"> loop</span> <span class="Constant">+next-event</span> <span id="L119" class="LineNr">119 </span> <span class="Delimiter">}</span> <span id="L120" class="LineNr">120 </span>] @@ -192,7 +192,7 @@ if ('onhashchange' in window) { <span id="L131" class="LineNr">131 </span> assert first-sandbox, <span class="Constant">[!!]</span> <span id="L132" class="LineNr">132 </span> sandbox-left-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">left:offset</span> <span id="L133" class="LineNr">133 </span> sandbox-right-margin:num <span class="Special"><-</span> get *first-sandbox, <span class="Constant">right:offset</span> -<span id="L134" class="LineNr">134 </span> edit-button-left:num, edit-button-right:num, _ <span class="Special"><-</span> <a href='005-sandbox.mu.html#L378'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin +<span id="L134" class="LineNr">134 </span> edit-button-left:num, edit-button-right:num, _ <span class="Special"><-</span> <a href='005-sandbox.mu.html#L376'>sandbox-menu-columns</a> sandbox-left-margin, sandbox-right-margin <span id="L135" class="LineNr">135 </span> edit-button-vertical-area?:bool <span class="Special"><-</span> <a href='006-sandbox-copy.mu.html#L211'>within-range?</a> click-column, edit-button-left, edit-button-right <span id="L136" class="LineNr">136 </span> <span class="muControl">return-unless</span> edit-button-vertical-area?, <span class="Constant">0/false</span> <span id="L137" class="LineNr">137 </span> <span class="Comment"># finally, is sandbox editor empty?</span> |