Allan Odgaard fc13d2021d Tweak gutter colors ...

Use the text foreground color for icons when the theme doesn’t provide a color and introduce ‘gutterSelectionIcons’ for the color of selected icons (defaults to selected foreground color).

Also changed the gutter selection border color to match the divider color (when it isn’t specified by the theme).

2012-08-26 18:52:25 +02:00

..

src

Tweak gutter colors

2012-08-26 18:52:25 +02:00

target

Initial commit

2012-08-09 16:25:56 +02:00