And a Suggestion / Request:
Please have this "seek via mouse scrolling" feature's speed be configurable
(including the option to choose between an even step scroll size and an "acceleration multiplier" thing)
The jump size of a mouse wheel scroll over time slider used to be like 1% of the length/duration of a playing media and everybody was happy :-) Now it is like 0.1%. It is not configurable, is it?
There could be an option for this. In 2 minutes short video clips the scrolling with higher precision is like frame by frame forward and backward in paused playback. And it is interesting. But it is not good for quick preview of a media.
Probably this fix has reversed a direction of jumps in VLC 3.0.2. Mouse scrolling up over time slder should jump forward like before. The scrolling up can increase the volume and so the scrolling up could "increase the time" instead of scrolling down. A new ticket?