diff options
| -rw-r--r-- | src/www/minibar/minibar_translations.js | 5 |
1 files 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) { |