Allan Odgaard 7a67248dec No longer necessary to set all gutter colors ...

Previously all the colors were calculated so setting e.g. the icon color made it sort of necessary to also set the iconHover and iconPressed color.

Now the default icon hover and pressed colors are a potential user supplied icon color. Likewise, the default icon color is a potential user supplied foreground color, etc.

2012-09-08 01:02:47 +02:00

..

src

No longer necessary to set all gutter colors

2012-09-08 01:02:47 +02:00

target

Initial commit

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