diff options
Diffstat (limited to 'src/www/syntax-editor/README.md')
| -rw-r--r-- | src/www/syntax-editor/README.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/www/syntax-editor/README.md b/src/www/syntax-editor/README.md index 8857bc46a..19e408b1a 100644 --- a/src/www/syntax-editor/README.md +++ b/src/www/syntax-editor/README.md @@ -29,12 +29,15 @@ An improved version of the [old syntax editor][1]. See `editor.html` and `editor_online.js`. +## Bugs + +- Change startcat doesn't work when given an initial startcat + ## TODO - Wrap a subtree - Compatibility with grammars with dependent category types - Clicking on tokens to select tree node -- try to retain subtree when replacing node - Use local caching - Clipboard of trees - Usage of printnames |