6 Jun
2010
6 Jun
'10
5:56 p.m.
Fixed the following issues in 3877
On firefox 3 (linux), holding the arrow key (up or down) does not move the selection. one needs to press multiple times.
3. I assume the list boxes are implemented as HTML, because their content can be selected with the mouse (i.e. marking the text inside the drop-down list box for a 'copy&paste' kind of way).
This wreaks havoc on the GUI, the drop-down stays on screen and hides the rest of the controls. One can open two drop-downs the same time, etc.