+1

Having a different background color for the line numbers

ciprianmocanu 12 år siden opdateret af Bruno Babić 11 år siden 1
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
+1

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"

Kundesupport af UserEcho