[ jEdit-devel ] Using Lucene in the core

[Shlomy R. <sre...@gm...>]

Hi,

To search the jEdit documentation (in About -> jEdit Help), jEdit has
a basic built-in indexer, which goes over the documentation files and
creates an index from them for rapid searching. A long time ago, Slava
suggested to replace this built-in indexer with Lucene, which is a lot
more powerful.
Does anyone object to adding Lucene to the core, so it can be used for
this purpose?
Do you know what is needed for doing this? jEdit already makes use of
other open source tools, but it doesn't include any of them in its
distribution. If I add Lucene to the core, it will be the first
external library to be included.

The alternative: Keep jEdit built-in indexer, and add a feature to
LucenePlugin to index & search the jEdit help.
If there's no problem adding Lucene to the core, the functionality of
LucenePlugin can be added to the core too, or otherwise the plugin
will simply use the Lucene binaries that are included in the core.

Thanks,
Shlomy