[ jEdit-devel ] Replacing the WorkThreadPool with the concurrency classes from the JDK

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

Hi,

Sorry for not continuing the previous thread on this, I can't find the
previous emails on this.
Marcelo has sent a patch for replacing the WorkThreadPool of jEdit
with the concurrency library from the JDK. Has anyone tried it? Any
progress on this?
I tried it about a month or two ago and found a few major problems, I
replied with them as far as I remember.

Anyway, looking at it again now, I see that SwingWorker is used.
SwingWorker is new in Java 1.6 - it wasn't part of the JDK in 1.5. Did
we include it with jEdit? Otherwise, we'd have to either include an
implementation for it or update the dependency of jEdit to 1.6 (and
the later has its own share of problems - many Mac users would be
unable to update their jEdit version after that...).

I really want to push this forward, because I am encountering too many
annoying problems with the fact that I/O operations are currently
quite limited in jEdit. E.g. when a long hypersearch is being
performed, files cannot be saved, and the hypersearch cannot be
aborted.

Thanks,
Shlomy