Re: [ jEdit-devel ] Plugins and default settings

[Sergey V. U. <ser...@cl...>]

> I think these issues should be fixed before 3.2final.
Also, there  is small HTML plugin problem. It installs Tidy.jar which,
in turn, contains some org.w2c.dom classes. Sometimes this confuses the
loader. Could maintainers please cleanup this jar?

Thanks,

Sergey