David Howden f2dd19f2a3 Extend support for theming the gutter ...

New theme setting: gutterSelectionBackground

2012-08-22 15:10:21 +02:00

..

images-pdf

Community effort to redesign and retinafy the gutter icons.

2012-08-21 23:45:45 +02:00

resources

Added Retina icons for bottom bar and file browser

2012-08-22 14:34:25 +02:00

src

Extend support for theming the gutter

2012-08-22 15:10:21 +02:00

target

Add bundle menu to the status bar

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