I am currently using linter for python but honestly, I really don’t like the style of the linter:
Is there any way to change those shapes? styles? to this?
I know that the second picture was the version 1 of the linter package but still… is there a way to change the style?