Mousewheel / mousescroll settings unavailable in GUI/python
In settings >> camera, mouse button behavior and mouse scroll factor can be set. However, there is no option for mouse wheel action. In my particular case, I would like to change it from "Zoom" to "ZoomToMouse."
From the discussion here, it sounds like this option is available but just not exposed in the GUI.
I see the same in v5.4.1, and v5.7.0