diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 17:17:20 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-02-25 17:17:20 -0800 |
| commit | dcc060c7d4ef56b978beb34ddce8d8ffcec94fa6 (patch) | |
| tree | 7cbb9cd1d8544c7c6c65725fa195ca3821b04b07 /index.html | |
| parent | 0f5a2f4e21046e319ce0fadec32cc5e89d2f4620 (diff) | |
| download | mu-dcc060c7d4ef56b978beb34ddce8d8ffcec94fa6.tar.gz | |
2706 - update html
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/index.html b/index.html index e88da515..90f46772 100644 --- a/index.html +++ b/index.html @@ -243,8 +243,8 @@ click on code in a sandbox to open up a drawer containing its trace. The trace can be added to using the <span style='font-family:courier,fixed'>stash</span> command, which renders arbitrary data structures using <span style='font-family:courier,fixed'>to-text</span> with the appropriate recipe header. -<br/><a href='html/edit/010-warnings.mu.html'>edit/010-warnings.mu</a>: -support for rendering warnings on both the left and in each sandbox. +<br/><a href='html/edit/010-errors.mu.html'>edit/010-errors.mu</a>: +support for rendering errors on both the left and in each sandbox. <br/><a href='html/edit/011-editor-undo.mu.html'>edit/011-editor-undo.mu</a>: support for undo in the editor widget. |