From be1d380ea5d12ed2ceef85e68594196569ee589d Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 27 Mar 2013 23:39:35 +0000 Subject: [PATCH] minibar: fix problems with the To: menu Automatically expanding the menu when the mouse is over it seems to cause wierd scrolling behavior in Chrome (and also in Firefox but less severe). --- src/www/minibar/minibar_translations.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js index f1f55536e..4aa571486 100644 --- a/src/www/minibar/minibar_translations.js +++ b/src/www/minibar/minibar_translations.js @@ -25,14 +25,15 @@ function Translations(server,opts) { this.main=empty("div"); this.menus=empty("span"); - var tom=this.to_menu=node("select",{id:"to_menu",multiple:"",size:4},[]); + var tom=this.to_menu=node("select",{id:"to_menu",multiple:"",size:5},[]); appendChildren(this.menus,[text(" To: "), this.to_menu]) tom.onchange=bind(this.get_translations,this); + /* // This seems triggers weird scrolling behavior in Firefox and Chrome: tom.onmouseover=function() { var n=tom.options.length; tom.size=n<12 ? n : 12; } tom.onmouseout=function() { var n=tom.options.length; tom.size=n<4 ? n : 4; } - + */ } Translations.prototype.change_grammar=function(grammar) {