[ jEdit-devel ] Folding

[Slava P. <sp...@gj...>]

Hello everybody,

Check out this screenshot.

I have nearly completed indent-based folding. Once I fix a few bugs and
write the docs, I will release 3.1pre1.

Other types of folding (brace-based, marker-based, etc) will follow soon
and should be relatively easy as the low-level display code is relatively
abstract.

Unfortunately, the addition of folding will require changes to a few
plugins, namely those that add highlights to the text area, and Code2HTML.
Detailed information will be in the 3.1pre1 CHANGES.txt.

Slava