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

..

resources

Replace PNGs with resizable PDF template images

2012-08-26 18:26:34 +02:00

src

Tweak gutter colors

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

target

Add bundle menu to the status bar

2012-08-13 00:25:20 +02:00