Is there a JS library to create a gutter scroller like in an IDE?

Question

JavaScript

Many IDEs have a gutter next to the scrollbar. Points in the file are highlighted on the gutter for fast movement. In the simplest case, errors and warnings.
Example:

I want to put on my site a javascript scroller that will replace the standard one and which will combine the scroller and the gutter.
From the scroller - scrolling.
From the gutter - anchor marks for quick movement around the page.
The closest found is https://bespoyasov.ru/scroller/, but it is only horizontal and does not contain the gutter functionality.
Among the javascript libraries, I did not find anything I needed.
Searched here: www.javascripting.com/search?q=scroll
Tell me please, do you know a library with a scroller that can do this?

Answer 1

This is a very specific thing, especially for websites. And in any case, you will have to generate a scroller yourself. You know the height of the scroll box, you know the height of all content, you know the positions of the anchors you need. Interpolate these positions to the height of the panel, place, bind click events, hover events, and so on.