+1
Having a different background color for the line numbers
I would love it if I had a different background color for the line numbers. It would actually make the editor look better and more simple.
Also, a border right after the line numbers :) and to choose border width and color
Also, a border right after the line numbers :) and to choose border width and color
Kundesupport af UserEcho
in your current theme, right at the start of file, under settings (where you have background, foreground, caret, etc. keys), add (or change value of) keys "gutter" and "gutterForeground"