|
| From: | Benjamin Riefenstahl |
| Subject: | bug#12298: 24.2; wrong font locking for < in comments |
| Date: | Sun, 06 Oct 2019 14:13:04 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.1.92 (gnu/linux) |
This is Javadoc and the content of Javadoc is HTML plus additional markup using keywords starting with "@", see <https://www.oracle.com/technetwork/java/javase/documentation/index-137868.html#format>. So it seems warning face is correct here?
| [Prev in Thread] | Current Thread | [Next in Thread] |