diff --git a/src/www/js/grammar_manager.js b/src/www/js/grammar_manager.js index 11d13d71c..474c4b704 100644 --- a/src/www/js/grammar_manager.js +++ b/src/www/js/grammar_manager.js @@ -44,7 +44,8 @@ function GrammarManager(server,opts) { this.grammars=[]; this.grammar_dirs=[]; this.startcat = null; // current startcat - this.languages = []; // current languages (empty means all langs) + this.languages = this.options.initial.languages || []; + // current languages (empty means all langs) /* --- Main program, this gets things going ----------------------------- */ this.init=function(){ diff --git a/src/www/minibar/minibar_online.js b/src/www/minibar/minibar_online.js index 685f9ddb8..c969caa52 100644 --- a/src/www/minibar/minibar_online.js +++ b/src/www/minibar/minibar_online.js @@ -32,7 +32,7 @@ if(window.Editor) // Syntax editor loaded? lin_action: function(new_input,langFrom) { var grammar_url=editor.menu.ui.grammar_menu.value // hmm var startcat=editor.menu.ui.startcat_menu.value // hmm - var toLangs=multiMenuSelections(editor.menu.ui.to_menu) // hmm + var toLangs=gm.languages // hmm minibar.input.set_input_for(grammar_url, {from:langFrom, startcat:startcat, diff --git a/src/www/syntax-editor/editor_menu.js b/src/www/syntax-editor/editor_menu.js index 33ce23ae4..6076db935 100644 --- a/src/www/syntax-editor/editor_menu.js +++ b/src/www/syntax-editor/editor_menu.js @@ -193,7 +193,7 @@ EditorMenu.prototype.update_language_menu=function(menu,grammar) { if(!hasPrefix(ln,"Disamb")) { var lp=langpart(ln,grammar.name); var opt=option(lp,ln); - if (elem(lp, t.gm.options.initial.languages)) { + if (elem(ln, t.gm.languages)) { opt.selected=true; } menu.appendChild(opt);