line number magnify when using the scroll map

hace 10 años • 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.