Allan Odgaard 46786ec60d Gutter: Don’t draw same row rectangle twice ...

Incase the last line of a file is folded (has no newline) then the gutter would first receive a row record for the line starting this fold, and then when querying for the next row, it would get the last line of the layout, this had a different line number but shared same coordinates as the previously rendered line, so the gutter would draw on top of that.

Closes issue #256.

2012-08-30 00:30:59 +02:00

..

resources

Update gutter images

2012-08-29 22:08:59 +02:00

src

Gutter: Don’t draw same row rectangle twice

2012-08-30 00:30:59 +02:00

target

Add bundle menu to the status bar

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