1. General
  2. Ideas
+1

Having a different background color for the line numbers

ciprianmocanu hace 14 años • actualizado por Bruno Babić hace 13 años • 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
Bruno Babić hace 13 años

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"

Servicio de atención al cliente por UserEcho