diff options
| author | hallgren <hallgren@chalmers.se> | 2013-03-27 23:39:35 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-03-27 23:39:35 +0000 |
| commit | be1d380ea5d12ed2ceef85e68594196569ee589d (patch) | |
| tree | 5cca70dceb3095a95a308dc4c4e1f8babc500171 /src/www | |
| parent | 323982b0ea2662bda3b58f81855ddf150ed4d529 (diff) | |
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).
Diffstat (limited to 'src/www')
| -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) { |