Is there a way to increase the zoom step size when using the mouse wheel in the KNIME workflow editor? Currently each scroll increment changes the zoom level only very slightly, so I need to scroll a lot to get a noticeable zoom effect. This makes navigating larger workflows quite tedious. Is there a setting or preference to make each mouse wheel step zoom in/out more aggressively? Or any other workaround (keyboard shortcut, config file, etc.)? I’m on KNIME Analytics Platform 5.10. Thanks in advance!