diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-27 10:09:40 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-11-27 10:09:40 +0000 |
| commit | b3c1177f9ed5a3eaff378671fa119be1c605498e (patch) | |
| tree | 6c32e5fc86fd45b91a934b8d0fc6da2cf236ab8a /src/www/syntax-editor/README.md | |
| parent | def375e58808ea431ef0d786ae0abb9de0a67155 (diff) | |
Syntax editor: improvements and fixes with grammar manager
Diffstat (limited to 'src/www/syntax-editor/README.md')
| -rw-r--r-- | src/www/syntax-editor/README.md | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/src/www/syntax-editor/README.md b/src/www/syntax-editor/README.md index 62c7e32cd..8857bc46a 100644 --- a/src/www/syntax-editor/README.md +++ b/src/www/syntax-editor/README.md @@ -13,21 +13,21 @@ An improved version of the [old syntax editor][1]. ## Available startup options - var editor_options = { - target: "editor", - initial: { - grammar: "http://localhost:41296/grammars/Foods.pgf", - startcat: "Kind", - languages: ["Eng","Swe","Mlt"], - abstr: "Pred (That Fish) Expensive" - }, - show: { - grammar_menu: true, - startcat_menu: true, - to_menu: true, - random_button: true - } - } +|Options|Description|Default| +|:------|:----------|:------| +|target | |"editor"| +|initial.grammar|Initial grammar URL, e.g. `"http://localhost:41296/grammars/Foods.pgf"`|-| +|initial.startcat|Initial startcat|-| +|initial.languages|Initial linearisation languages, e.g. `["Eng","Swe","Mlt"]`|-| +|initial.abstr|Initial abstract tree (as string), e.g. `"Pred (That Fish) Expensive"`|-| +|show.grammar_menu|Show grammar menu?|true| +|show.startcat_menu|Show start category menu?|true| +|show.to_menu|Show languages menu?|true| +|show.random_button|Show random button?|true| + +## Example usage + +See `editor.html` and `editor_online.js`. ## TODO |