Scroll bar search marks do not update position #102
Description
Scroll bar orange search marks do not update position when the code is folded.
I know this is a small detail but it would be nice matching positions.
{{ message }}
Scroll bar orange search marks do not update position when the code is folded.
I know this is a small detail but it would be nice matching positions.