[ jEdit-devel ] [ jedit-Bugs-517628 ] Changing fold style disappearing text

[<no...@so...>]

Bugs item #517628, was opened at 2002-02-14 10:10
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=517628&group_id=588

Category: text area and syntax packages
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Changing fold style disappearing text

Initial Comment:
Open a java file with Explicit folding (global option)
and then:

Buffer Options-->Indent Folding-->OK
...all is well...
Buffer Options-->Explicit Folding--OK
...any code inside a fold vanishes.  Reload the
file to get it back.

jEdit 4.0pre4, JDK 1.3.1, WinNT


----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=517628&group_id=588