diff options
Diffstat (limited to 'src/www/js')
| -rw-r--r-- | src/www/js/grammar_manager.js | 3 |
1 files changed, 2 insertions, 1 deletions
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(){ |