diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-05-28 14:19:22 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-05-28 14:19:22 -0700 |
| commit | eea17dee20781db0e1aabacd736632d1f788994d (patch) | |
| tree | dde019b91666ca1f7ea50c4e6cf6caebf0eba2d1 | |
| parent | aecc8475fb10e04f94eab051c7d68c632cfe91ee (diff) | |
| download | mu-eea17dee20781db0e1aabacd736632d1f788994d.tar.gz | |
3024
| -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. |