Minimap: scrolling up in large file makes the slider jump a little bit #21346
Description
Steps to Reproduce:
- macOS with zoom mode 1
- large file with 30k lines scrolled all the way down
- use mouse wheel to scroll up
=> at some point the thumb jumps up and then on the next scroll jumps down again
=> the other scrollbar does not show this behaviour
