#242 Scroll-wheel modifies combo values
In both the editor and the Properties view, when the mouse focus is on a combo widget, the scroll-wheel changes the combo value rather than scrolling the window containing the widget.
This is very annoying, especially in the case where the pointer accidentally enters a combo during scrolling.
Apparently, this is a feature of the native combo widget under Linux. For Windows, the scroll-wheel modifies the combo value only when the keyboard focus is in the widget. On Mac OS X, the scroll-wheel never modifies the combo value, whatever the mouse or keyboard focus. This can be checked by opening the Preferences dialog and fiddling with the "Install/Update < Automatic Updates" page.
For the record, the combo widget used by the editor and the Properties view is the one contributed by the Forms toolkit, not the native one and it behaves like the native Linux one.
The actual behavior of combo in the Rodin platform should be the same as Windows or Mac OS X (whichever is easier to implement), but definitively not like Linux.
Fixed and added to CVS