From b3c1177f9ed5a3eaff378671fa119be1c605498e Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Tue, 27 Nov 2012 10:09:40 +0000 Subject: Syntax editor: improvements and fixes with grammar manager --- src/www/syntax-editor/README.md | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) (limited to 'src/www/syntax-editor/README.md') 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 -- cgit v1.2.3