diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-12 14:30:27 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-12 14:30:27 +0000 |
| commit | eb941d6eac5fe17b338c5d3bc6ecda19444c48bd (patch) | |
| tree | cfeef7eeb1f028f9c2518ee607ee1f21e5c1855a /src/www/js | |
| parent | a0d785610d2e426f7d8e1a376cf53870d5f5f98d (diff) | |
minibar/syntax editor integration fixes
When starting from the minibar, the selected set of target languages is now
preserved when switching back and forth.
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(){ |