summaryrefslogtreecommitdiff
path: root/src/www/syntax-editor/editor_menu.js
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2013-04-04 14:04:31 +0000
committerhallgren <hallgren@chalmers.se>2013-04-04 14:04:31 +0000
commit3c244ff27f015df6cfa918c9ba3e192f4d5b62ff (patch)
tree6dcc6016bd180b863cd5136d0f9ea1646b566799 /src/www/syntax-editor/editor_menu.js
parenta22a419bc7ea0dc45f9965e6ffebf42417212d52 (diff)
minibar/syntax editor integration improvements
Work in progress on preserving the start category and selected target languages when switching between the minibar and the syntax editor.
Diffstat (limited to 'src/www/syntax-editor/editor_menu.js')
-rw-r--r--src/www/syntax-editor/editor_menu.js7
1 files changed, 1 insertions, 6 deletions
diff --git a/src/www/syntax-editor/editor_menu.js b/src/www/syntax-editor/editor_menu.js
index ea20710a4..33ce23ae4 100644
--- a/src/www/syntax-editor/editor_menu.js
+++ b/src/www/syntax-editor/editor_menu.js
@@ -77,12 +77,7 @@ function EditorMenu(editor,opts) {
if (t.options.show_to_menu) {
appendChildren(t.container, [text(" To: "), t.ui.to_toggle, t.ui.to_menu]);
t.ui.to_menu.onchange = function(){
- var languages = new Array();
- for (i in t.ui.to_menu.options) {
- var opt = t.ui.to_menu.options[i];
- if (opt.selected)
- languages.push(opt.value);
- }
+ var languages = multiMenuSelections(t.ui.to_menu)
t.gm.change_languages(languages);
}
}