Re: [ jEdit-users ] XML plugin

[Slava P. <sl...@je...>]

On Fri, Aug 24, 2001 at 04:33:39PM -0500, Jim Urban wrote:
> Interesting, according to the plugin manager I have the XML plugin
> installed, yet when I go to "Global Options->Plugin Options" there is no
> section for XML.  Am I missing something?  I am running jEdit 3.1 final
> (waiting for 3.2 final).

Mike was referring to the XML plugin version 0.3, which requires jEdit
3.2. If you are running jEdit 3.1, the plugin manager will install the
older XML plugin version 0.2.

Slava