RE: [ jEdit-users ] Compile and run?

[Todd P. <to...@da...>]

> > P.S. While I am it...what library file do I need to index so that I can
> > use JIndex with JDK 1.3.1 Documentation?
> 
> I don't remember. I do know JIndex is _extremely_ slow to load its database,
> so I don't use it. It ought to use a more efficient database format, and one
> in which it needs not load the entire database into memory. I could go into
> a discussion on a more efficient format, but that's not what this thread (or
> list) is for, so I'll refrain.

You could just implement it, submit the patch and make us all happy ;)

Todd