Re: [ jEdit-devel ] jEdit plugin integration

[Slava P. <sl...@je...>]

Doug Breaux wrote:
> BTW, Slava responded to Calvin's comments there that such a change might 
> make it into 4.2.
> 
> <http://marc.theaimsgroup.com/?l=jedit-devel&m=104743657113242&w=2>
> 
> I don't expect this for 4.2 at this point, but do you still like the 
> idea, Slava?

The groundwork is already there -- see the 
org.gjt.sp.jedit.PropertyManager class which was added in 4.2pre9 I believe.

Slava