Scroll wheel behavior is unpredictable in tool options
The following happens when one uses the scroll wheel in the tool options boxes:
-
If the mouse is in a blank area of the tool options box, or a label, or a widget that does not capture the scroll wheel, the tool options box starts scrolling.
-
But if the mouse starts at a widget that captures the scroll wheel, or the scrolling action from (1) causes the mouse to enter such a widget, then the scrolling stops and one ends up inadvertently changing the values of that widget.