line number magnify when using the scroll map

il y a 11 ans • 0

It would be awesome if it was easier to see the line number when using the scroll map. My suggestion is to magnify the current top most line number. See attached example below.