diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-30 15:08:46 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-30 15:08:46 +0000 |
| commit | 0ac61fefba22208608073b6409d6ec92086847f4 (patch) | |
| tree | ea33b85648c8e35e04fd1abdc6eb77cddc6fc465 /src/www/syntax-editor/README.md | |
| parent | 58c3e3db85d55cc9b746732583df83c19a9b68e0 (diff) | |
Syntax editor: internal optimizations by pre-computing certain stuff
Diffstat (limited to 'src/www/syntax-editor/README.md')
| -rw-r--r-- | src/www/syntax-editor/README.md | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/www/syntax-editor/README.md b/src/www/syntax-editor/README.md index 19e408b1a..ef9758e71 100644 --- a/src/www/syntax-editor/README.md +++ b/src/www/syntax-editor/README.md @@ -38,11 +38,10 @@ See `editor.html` and `editor_online.js`. - Wrap a subtree - Compatibility with grammars with dependent category types - Clicking on tokens to select tree node -- Use local caching - Clipboard of trees - Usage of printnames - Enter string/float/int literals - more prominence to Disamb-linearizations -- ambiguity: (optionally) parse all the resulting linearizations/variants and point out those which are ambiguous -- add undo/redo (or back/forward) navigation -- structure fridge magnets some more (eg newline before the magnet whose first letter is different) +- show all resulting linearizations/variants +- undo/redo (or back/forward) navigation +- structure fridge magnets more (eg newline before the magnet whose first letter is different) |