diff options
Diffstat (limited to 'html/edit/008-sandbox-edit.mu.html')
| -rw-r--r-- | html/edit/008-sandbox-edit.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html index 49098fb4..883c2501 100644 --- a/html/edit/008-sandbox-edit.mu.html +++ b/html/edit/008-sandbox-edit.mu.html @@ -165,7 +165,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color screen<span class="Special"> <- </span>render-sandbox-side screen, env, render screen<span class="Special"> <- </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="muControl">loop</span> +next-event <span class="Delimiter">}</span> ] |