Add mouse wheel scrolling to spinners.

Fixes #501. Note: This fix only applies so far to the parts of the
Simple Style Editor that have already been refactored. (Still left to
do: Proportional Point / Line.)