[ jEdit-devel ] [jedit:bugs] #4121 KEYWORD in mode file doesn't support non-word characters

[Dale A. <dal...@us...>]

---

** [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 jed...@li... 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.