|
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] |