[ jEdit-devel ] Install jEdit with plugins

[Matthieu C. <cho...@gm...>]

Hi,
jEdit installer comes with a plugin : QuickNotepad.
The problem is that it is not possible to update that plugin from plugin
manager because the new version would be in .jedit/jars folder and jEdit
would have two copies of that plugin.
And it would not know which one should be loaded.
We could tell that the version in .jedit/jars folder should always be
loaded if it exists, but the problem would happens when upgrading jEdit.
The newer version would be in the install folder not the .jedit one.
Does anyone have a solution for that ?
This question is not only for Quicknotepad, but for any plugin that would
be provided with jEdit.
In fact what I want is to integrate a Lucene (maybe not the actual
LucenePlugin, but only a plugin that would contains the library) in jEdit
because it could be very useful for several things, like help search
engine. But I would like that it would be a plugin so it would be possible
to upgrade it.
What do you think of this ?

Matthieu