diff options
Diffstat (limited to 'html/edit/007-sandbox-delete.mu.html')
| -rw-r--r-- | html/edit/007-sandbox-delete.mu.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html index 09752b87..ffae21e3 100644 --- a/html/edit/007-sandbox-delete.mu.html +++ b/html/edit/007-sandbox-delete.mu.html @@ -108,7 +108,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> +next-event + <span class="muControl">loop</span> <span class="Constant">+next-event</span> <span class="Delimiter">}</span> ] |