Pedro Andres Aranda Gutierrez <paaguti@gmail.com> writes:
> I have noticed that the themes in the development git don't support
> line-number yet. Attached is a patch. I propose to make the line-number
> look like the fringe by deriving from it.
For line-number-current-line you choose to add 'bold', is there not a
chance this will change the width? That would be visually a bit
disturbing.
Robert