[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 | <[email protected]> |
--- ** [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:** Thu Aug 25, 2022 06:43 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