diff options
Diffstat (limited to 'html/edit/011-errors.mu.html')
-rw-r--r-- | html/edit/011-errors.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html index 6c69076c..e31fc3e9 100644 --- a/html/edit/011-errors.mu.html +++ b/html/edit/011-errors.mu.html @@ -145,7 +145,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color *sandbox<span class="Special"> <- </span>put *sandbox, <span class="Constant">response-starting-row-on-screen:offset</span>, <span class="Constant">0</span> <span class="Comment"># no response</span> row, screen<span class="Special"> <- </span>render-text screen, sandbox-errors, left, right, <span class="Constant">1/red</span>, row <span class="Comment"># don't try to print anything more for this sandbox</span> - <span class="muControl">jump</span> <span class="Constant">+render-sandbox-end:label</span> + <span class="muControl">jump</span> +render-sandbox-end <span class="Delimiter">}</span> ] |