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/syntax-editor/editor_menu.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/syntax-editor/editor_menu.js')
| -rw-r--r-- | src/www/syntax-editor/editor_menu.js | 2 |
1 files changed, 1 insertions, 1 deletions
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); |