diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-11 15:33:17 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-01-11 15:33:17 +0000 |
| commit | b8e3fe7bc099d3ee09f1c5dfe05fab1fd73afed1 (patch) | |
| tree | bdea3f8224ba39bd85f6ca4c1f849113765393ef /src/www/syntax-editor/editor_online.js | |
| parent | be5a313372fbafa13f8f45357b9ee3a84d18b10f (diff) | |
Syntax editor: initial support for string literals
Also a bug fix when switching to editor, although this still messes up
when using the letters grammar.
Also updated readme with options, and some style improvements.
Diffstat (limited to 'src/www/syntax-editor/editor_online.js')
| -rw-r--r-- | src/www/syntax-editor/editor_online.js | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/www/syntax-editor/editor_online.js b/src/www/syntax-editor/editor_online.js index 3067346b7..913bec05a 100644 --- a/src/www/syntax-editor/editor_online.js +++ b/src/www/syntax-editor/editor_online.js @@ -39,14 +39,10 @@ if(window.Minibar) // Minibar loaded? }, // get us back to the editor! abstract_action: function(tree) { - var editor_options = { - target: "editor", - initial: { - grammar: editor.minibar.grammar_menu.value, // hmm - startcat: editor.minibar.input.startcat_menu.value, // hmm - abstr: tree - } + var opts = { + abstr: tree } + editor.initialize_from(opts); editor.minibar.hide(); editor.show(); } |