Please consider removing the space to the right of the line numbers as most of the time it is not used. The presence of a bookmark could be shown much more efficiently by colorizing or bolding or underlining the line number.

Thanks!

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.