diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 16:27:36 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 16:27:36 -0700 |
| commit | c02478c4010d54acfaed0318a2c2c689b468e92e (patch) | |
| tree | 8cdc5a15f685e4ef27205a59306f5781a10b3899 /html/edit/011-errors.mu.html | |
| parent | 6a9d8191dfb5606f8d3630375f3ec045bd534ba3 (diff) | |
| download | mu-c02478c4010d54acfaed0318a2c2c689b468e92e.tar.gz | |
3558
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> ] |