Scrollbar thumb and marker bar are not synchronized when regions are
I am working with a lot of regions in my code and normally only the region I
work in is expanded. The marker bar shows me some red and orange ticks as if
the regions are not comressed. So, clicking on one of the ticks the cursor
will be positioned correctly, but the scrollbar thumb is not on th esame
position as the tick.