diff options
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 8e87c2cf..bc1958ce 100644 --- a/index.html +++ b/index.html @@ -256,7 +256,7 @@ combining two text editor widgets, one on the left, one on the right. <br/><a href='html/edit/005-sandbox.mu.html'>edit/005-sandbox.mu</a>: support for running mu code in the right-hand widget using code from the left, and displaying results in a <em>sandbox</em> below on the right. You can have -multiple sandboxes, and hit F4 to rerun them all at anytime with the latest +multiple sandboxes, and hit F4 to rerun them all at any time with the latest version of the code on the left side. <br/><a href='html/edit/006-sandbox-copy.mu.html'>edit/006-sandbox-edit.mu</a>: click on the 'copy' button in each sandbox to duplicate its contents. |