Suggestion for simple UI improvement


When navigating a large visual log it would be nice to be able to zoom around the current mouse position using the Ctrl + scroll wheel.
This would make it more efficient and intuitive to dive into details from a more global perspective.
The way it is implemented now causes the user to lose focus on the currently selected piece of timeline (unless it is exactly in the middle) once the zooming is activated by the mouse wheel. This forces the user to go back and forth between zooming with the mouse wheel and re-positioning the timeline slider to keep the time segment of interest in the middle of the timeline view.
This method of zooming is standard for a lot of 2D and 3D applications.

Best regards