[jedit:bugs] #4121 KEYWORD in mode file doesn't support non-word characters
Dale Anson via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/bugs/4121/9d9f964ccad5b3d3fbff0477bc71d1a2f5b89f01.bugs@jedit.p.sourceforge.net> |
None that I can see, but thought I'd enter the bug in case someone else was aware of a problem with modifying the dtd. --- ** [bugs:#4121] KEYWORD in mode file doesn't support non-word characters** **Status:** open **Group:** minor bug **Created:** Thu Aug 25, 2022 06:43 PM UTC by Dale Anson **Last Updated:** Tue Aug 30, 2022 08:04 PM UTC **Owner:** nobody "non-sealed" is a valid keyword in the Java language since Java 15. The java.xml mode file has <KEYWORD2>non-sealed</KEYWORD>. jEdit will only highlight the "sealed" part of "non-sealed" as KEYWORD only supports whole words containing only alphanumeric characters. Replacing this definition with <SEQ TYPE="KEYWORD2">non-sealed</SEQ> works, but errors are shown in the activity log since SEQ is not allowed in the KEYWORDS section. The simplest fix would be to adjust xmode.dtd to allow SEQ in KEYWORDS. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel