If you specify a DTD in a HTML-file, the parser doesn't
care about it, that shouldn't be.
And if you want to handle XHTML-files, you have to
parse them with XML as parser, but then JavaScript
isn't syntax-highlighted.
Submitted | vampire0 - 2005-09-10 04:05:30 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | XML |
Status | open | Group | minor bug |
Resolution | None |
2007-03-06 21:49:58 rschwenn |
patched xml mode for jEdit 4.3 (pre9) - highlights embedded scripts xml.xml (5.3Kio) |
---|---|
2007-03-06 21:49:59 rschwenn |
Logged In: YES |
2014-08-25 02:26:38.579000 ezust |
- **labels**: --> XML |
2014-10-28 17:35:50.145000 ezust |
This is not a proper diff. Please resubmit as a separate patch in the patches tracker,
against jEdit 5.2 or current trunk.
|
2014-10-28 17:36:46.082000 ezust |
- **status**: closed-rejected --> open |