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/editor_online.js | |
| parent | def375e58808ea431ef0d786ae0abb9de0a67155 (diff) | |
Syntax editor: improvements and fixes with grammar manager
Diffstat (limited to 'src/www/syntax-editor/editor_online.js')
| -rw-r--r-- | src/www/syntax-editor/editor_online.js | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/www/syntax-editor/editor_online.js b/src/www/syntax-editor/editor_online.js index 5ca81c9fa..56e8a9de3 100644 --- a/src/www/syntax-editor/editor_online.js +++ b/src/www/syntax-editor/editor_online.js @@ -4,12 +4,9 @@ var server_options = { } var editor_options = { target: "editor", - // initial: { - // grammar: "http://localhost:41296/grammars/Phrasebook.pgf", - // startcat: "Proposition", - // languages: ["Eng","Swe","Ita"], - // abstr: "PropOpenDate (SuperlPlace TheMostExpensive School) Tomorrow" - // }, + initial: { +// abstr: "PropOpenDate (SuperlPlace TheMostExpensive School) Tomorrow" + }, show: { grammar_menu: true, startcat_menu: true, |