[ jEdit-devel ] [ jedit-Bugs-651373 ] folds not collapsed when buffer reloads

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

Bugs item #651373, was opened at 2002-12-10 11:08
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=651373&group_id=588

Category: editor core
Group: minor bug
>Status: Deleted
Resolution: None
Priority: 5
Submitted By: Rob Fletcher (rfletch6)
Assigned to: Nobody/Anonymous (nobody)
Summary: folds not collapsed when buffer reloads

Initial Comment:
If a buffer is reloaded (either explicitly from the menu or 
because the file has changed outside jEdit) all explicit 
folds are expanded. This overrides 
any "collapseFolds=x" setting that may be present at 
the top of the file or the "initially collapse folds with 
level:" option in the Edit Mode option pane.

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

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