Re: [ jEdit-devel ] PluginHolder

[Dirk M. <dmo...@gm...>]

"Kevin A. Burton" wrote:
> Ok.  Maybe I misunderstood.  What does everyone think of a JTree?  A lot
> of people thought it was a good idea.  I do.

I can remember we discussed it.
A JTree would be very kewl (+2). But there will be some API needed for
the plugins to modify their subtree.

Dirk.
-- 
Hi! I'm a mutating .signature virus! Copy me into your ~/.signature to
help me sprEad!