>>>>> On Mon, 12 Oct 2020 19:11:22 +0200, Pedro Andres Aranda Gutierrez <paaguti@gmail.com> said:
Pedro> Hi Stefan, thanks for the suggestion.
Pedro> It sort of works. However, only sort of. I miss the linum-format variable
Pedro> and the linum face.
Pedro> Maybe too many years in linum-mode
Thereʼs a line-number-face. What did you use linum-format for?
Pedro> My linum settings look cool, don't they? ;-)
Pedro> [image: image.png]
ENOIMAGE, but I believe you.
Robert
--