|
From: <Ste...@lr...> - 2001-04-27 13:51:38
|
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
|