Re: [ jEdit-devel ] XML plugin 0.3

[David W. <df...@co...>]

Slava Pestov wrote:

> Hello everybody,
>
> XML 0.3 is on the CVS, tag release-0-3.

Cool! Thanks.

I found a bug in my own code. If the plug in couldn't find the DTD on an
http address, jEdit would hang for five minutes. (Thank you, MediaOne.) Will
check the code base vs. my fix on Tuesday.

Dave