This is jEdit 5.2.0 or trunk version 23902 from 2015-04-16.
The gutter fold painter does not show anything for a fold end that is on the last
line of the buffer. E.g. see the included files `bad.txt` -- it works after adding
a blank line at the end.
The problems stems from the inability of buffer.isFoldEnd to see beyond the last line.
Maybe it is possible to pretend that the buffer has one more linefeed, before invoking
the actual fold handler.
| Submitted | makarius - 2015-05-06 18:58:42.770000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | normal bug |
| Resolution | None |