Hi Robert
you are right... didn't think about that. I'll change the colour instead.

Best, /PA

On Thu, 17 Dec 2020 at 15:38, Robert Pluim <rpluim@gmail.com> wrote:
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


--
Fragen sind nicht da um beantwortet zu werden,
Fragen sind da um gestellt zu werden
Georg Kreisler