[ jEdit-devel ] javadoc <pre> tags

[Dirk M. <dmo...@gm...>]

Hi,

would it be possible to change the java mode file, so that text inside <pre>
tags in JavaDoc comments is _not_ highlighted as html?

E.g. the following:

1) change java.xml, so that javadoc comments do not delegate to xml:TAGS,
but to html:TAGS.
2) change html.xml, so that <pre> tags delegate to text.xml

I don't know enough about the delegate mechanism. Is it possible?

Thank,
Dirk.

-- 
GMX - Die Kommunikationsplattform im Internet.
http://www.gmx.net

--
GMX Tipp:

Machen Sie Ihr Hobby zu Geld bei unserem Partner 1&1!
http://profiseller.de/info/index.php3?ac=OM.PS.PS003K00596T0409a