minibar: cosmetic fix for the "To:" menu

1 files changed, 12 insertions, 3 deletions

diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js
index 4f74f9bf0..85d646077 100644
--- a/src/www/minibar/minibar_translations.js
+++ b/src/www/minibar/minibar_translations.js
@@ -29,9 +29,18 @@ function Translations(server,opts) {
     this.menus=empty("span");
 
     var tom_opts={id:"to_menu"}
-    if(this.options.to_multiple) tom_opts.multiple=true,tom_opts.size=5;
+    if(this.options.to_multiple)
+	tom_opts.multiple=true,tom_opts.size=8,
+        tom_opts.style="position: absolute";
     var tom=this.to_menu=node("select",tom_opts,[]);
-    appendChildren(this.menus,[text(" To: "), this.to_menu])
+    if(this.options.to_multiple) {
+	tom.style.display="none"
+	function toggle_tom() {
+	    tom.style.display= tom.style.display=="none" ? "" : "none"
+	}
+	appendChildren(this.menus,[button("To:",toggle_tom),tom,text(" ... ")])
+    }
+    else appendChildren(this.menus,[text(" To: "),tom])
     tom.onchange=bind(this.change_language,this);
     var o=this.options
     if(o.initial_grammar && o.initial_toLangs)
@@ -150,7 +159,7 @@ Translations.prototype.show_translations=function(translationResults) {
 		return texts.map(text1)
 	    }
 	    function draw_row(row) {
-		return tr([td(text(row.params)),td(draw_texts(row.texts))])
+		return tr([td(atext(row.params,action)),td(draw_texts(row.texts))])
 	    } // ▼ ▾
 	    return wrap("span",
 			[atext("▾ ",action),