diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js
index c9927c16a..52b391678 100644
--- a/src/www/minibar/minibar_translations.js
+++ b/src/www/minibar/minibar_translations.js
@@ -15,6 +15,7 @@ function Translations(server,opts) {
tree_img_format: "png", // format for trees & alignment images,
// can be "gif", "png" or "svg"
show_grouped_translations: true,
+ to_multiple: true, // allow selection of multiple target languages
show_brackets: false, // show bracketed string
translate_limit: 25 // maximum number of parse trees to retrieve
}
@@ -25,7 +26,9 @@ function Translations(server,opts) {
this.main=empty("div");
this.menus=empty("span");
- var tom=this.to_menu=node("select",{id:"to_menu",multiple:"",size:5},[]);
+ var tom_opts={id:"to_menu"}
+ if(this.options.to_multiple) tom_opts.multiple=true,tom_opts.size=5;
+ var tom=this.to_menu=node("select",tom_opts,[]);
appendChildren(this.menus,[text(" To: "), this.to_menu])
tom.onchange=bind(this.change_language,this);
var o=this.options
diff --git a/src/www/minibar/phrasebook.html b/src/www/minibar/phrasebook.html
index 2050b689e..7c5a64f08 100644
--- a/src/www/minibar/phrasebook.html
+++ b/src/www/minibar/phrasebook.html
@@ -7,9 +7,9 @@
-
+
-
+
@@ -21,6 +21,7 @@ see
+
@@ -42,7 +43,9 @@ var phrasebook_options={
delete_button_text: "Del",
help_url: "http://www.grammaticalframework.org/examples/phrasebook/help-phrasebook.html",
feedback_url: "feedback.html",
- default_source_language: "Eng"
+ default_source_language: "Eng",
+ startcat_menu: false,
+ to_multiple: false
}
start_minibar(server,phrasebook_options)