This MR replaces all (check via textsearch in control.ui) spinboxes with custom boxes by promotion in the ui-editor. The custom spinboxes ignore the wheel event, i.e. can not be changed with the mouse wheel.
This MR does not touch sliders. Sliders can still be changed by scrolling and spinboxes connected to sliders (i.e. translation of coordinate system) are changed as well, when the slider is changed by scrolling.
We may discuss whether there are spinboxes where we want the behaviour to change the value by scrolling. This could be done after this MR was merged, since reverting the change for some spinboxes is easy and quickly done.
Closes #302 (closed)