diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-12-07 12:55:17 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-12-07 12:55:17 +0000 |
| commit | 904e8029fea4436290fc79d5fabc782386cee19b (patch) | |
| tree | 6c5a6f0275acabd5ef72bb20798960c991dbaf37 /src/www/syntax-editor/README.md | |
| parent | 81f843ac062541a7f3bec9fde23be560343b66b7 (diff) | |
Syntax editor: various small improvements...
- separate tree edit buttons from option buttons
- fix bug when wrapping on freshly imported ast
- add interface for import & export of ast
- cleaner internal implementation of Editor.add_refinement
- small style updates
Diffstat (limited to 'src/www/syntax-editor/README.md')
| -rw-r--r-- | src/www/syntax-editor/README.md | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/www/syntax-editor/README.md b/src/www/syntax-editor/README.md index ef9758e71..50f911f13 100644 --- a/src/www/syntax-editor/README.md +++ b/src/www/syntax-editor/README.md @@ -1,7 +1,7 @@ # GF web-based syntax editor John J. Camilleri -November 2012 +December 2012 An improved version of the [old syntax editor][1]. @@ -14,7 +14,7 @@ An improved version of the [old syntax editor][1]. ## Available startup options |Options|Description|Default| -|:------|:----------|:------| +|-------|-----------|-------| |target | |"editor"| |initial.grammar|Initial grammar URL, e.g. `"http://localhost:41296/grammars/Foods.pgf"`|-| |initial.startcat|Initial startcat|-| @@ -35,7 +35,7 @@ See `editor.html` and `editor_online.js`. ## TODO -- Wrap a subtree +- Import AST from text field - Compatibility with grammars with dependent category types - Clicking on tokens to select tree node - Clipboard of trees @@ -45,3 +45,4 @@ See `editor.html` and `editor_online.js`. - 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) + |