[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12298: 24.2; wrong font locking for < in comments
From: |
Stefan Kangas |
Subject: |
bug#12298: 24.2; wrong font locking for < in comments |
Date: |
Mon, 14 Oct 2019 14:13:12 +0200 |
tags 12298 + notabug
close 12298
quit
Stefan Kangas <stefan@marxist.se> writes:
> > 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?
>
> Ah, you're right. To put the literal "<" character, one has to type
> "{@literal <}", although it seems like "<" will also work. (Sorry
> for the confusion; I haven't touched Java in a decade or more...)
>
> If no one objects, I'll just close this as notabug.
No objections within 8 days. Closing.
Best regards,
Stefan Kangas