diff options
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. |