John J. Camilleri
December 2012
An improved version of the old syntax editor.
See editor.html and editor_online.js.
| Options | Description | Default |
|---|---|---|
| target | "editor" | |
| initial.grammar | Initial grammar URL, e.g. "http://localhost:41296/grammars/Foods.pgf" |
|
| initial.startcat | Initial startcat | (grammar default) |
| initial.languages | Initial linearisation languages, e.g. ["Eng","Swe","Mlt"] |
(all) |
| initial.abstr | Initial abstract tree (as string), e.g. "Pred (That Fish) Expensive" |
|
| show_grammar_menu | Show grammar menu? | True |
| show_startcat_menu | Show startcat menu? | True |
| show_to_menu | Show languages menu? | True |
| show_random_button | Show random button? | True |
| show_import | Show import button/panel? | True |
| show_export | Show export button? | True |