Re: [ jEdit-devel ] Enhancing Folding

Excellent. I look forward to seeing Tom's folding scheme implemented in jEdit.

I'm currently working on a project where this type of ability to add arbitrary
folds, even at a single indent level, would be very handy. The fold browser
looks slick as well.

Steve Jakob








Slava Pestov <sl...@je...> on 04/27/2001 07:39:26 AM

Please respond to jed...@li...
                                                                                
                                                                                
                                                                                


                                                              
                                                              
                                                              
 To:      jed...@li...                   
                                                              
 cc:      (bcc: Steve Jakob/Lrcc)                             
                                                              
                                                              
                                                              
 Subject: Re: [ jEdit-devel ] Enhancing Folding               
                                                              







On Thu, Apr 26, 2001 at 10:00:22AM +0100, Tom Locke wrote:
> The difficulty is, trying to integrate this with what we've got already.
> Slava's done a very nice job of the indent based folding, and I'd like the
> two facilities to co-exist, but I've given it some though and I don't think
> that's going to be possible. My current thinking is that I'm going to
> implement this stuff in place of the existing indent based folding (of
> course 'back end' stuff is the same -- the ability to selectively display
> lines is all in place). The only way I can see to get the two to co-exist
> is to have two different kinds of JEditTextArea and choose between them
> when the buffer is created -- not very nice I'm sure you'll agree.

I see no reason why the two folding schemes cannot co-exist, with a
buffer-local property to select the scheme (or none at all, for those
who'd rather not see the squares in the gutter).

> I suppose it would be possible to automatically create folds on every
> indented block. The more significant differences are the need (or not) for
> fold comments, and the display of a closed fold as a 1 pixel line, or as a
> regular line with a comment on it.

What's wrong with displaying a closed fold as a horizontal line?
And fold comments are not necessary; since the first line of a
fold contains the {{{, all you need to do is enter text after the
{{{ and it will be a 'fold comment':

// {{{ start of fold
text inside fold
more text
// }}} last line of fold

If the last line of the fold is also hidden when it is collapsed,
it will look pretty much similar to ripple folding.

> So what do you lot think? How important is it to keep indent based folding?

Indent based folding is not going away any time soon. However, the
two schemes can co-exist (with the exception of the fold navigator,
which should only be supported in buffers with explicit folding).

I will add a FoldHandler interface to jEdit 3.2pre2 (not pre1) then
we can work on adding explicit folding.

Slava

--
-----------------------------------------------
jEdit Developers' List
jEd...@li...
http://lists.sourceforge.net/lists/listinfo/jedit-devel