Re: [ jEdit-devel ] Folding

[Andre K. <ak...@vi...>]

On Tuesday 30 January 2001 10:05, Slava Pestov wrote:
> > As far as I'm concerned: Code2HTML, HTML, WhiteSpace, JDiffPlugin.
>
> Also JBrowse (it calls setFirstLine()), CodeAid (it probably relies
> on the line number to position the popup), and ErrorList (which is
> up to me to fix).

Right.

> Now for the $1,000,000 question: should we update the plugins now,
> or later?

Now in CVS: Code2HTML and WhiteSpace are ready, HTML is almost ready,
I'm working on JDiffPlugin.

Later on Plugin Central: when 3.1final is out.

> If we decide to update now, retaining 3.0 compatibility is not
> necessarily out of the question -- I could release a 3.0.3 with
> dummy virtualToPhysical()/physicalToVirtual() methods.

I don't think it's necessary unless you intend to have many pre-releases.

Andre