From b037fa2b327b115fb672cfee68951afd93a898f6 Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 17 Apr 2013 08:39:39 +0000 Subject: [PATCH] minibar: fixes for phrasebook Add minibar option to_multiple to be able to turn off selection of multiple target languages. --- src/www/minibar/minibar_translations.js | 5 ++++- src/www/minibar/phrasebook.html | 9 ++++++--- 2 files changed, 10 insertions(+), 4 deletions(-) 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)