GNU bug report logs - #50041
Add font-lock-doc-markup-face

Previous Next

Full log

Message #20 received at 50041 <at> debbugs.gnu.org (full text, mbox):

From: Mattias Engdegård <mattiase <at> acm.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: larsi <at> gnus.org, 50041 <at> debbugs.gnu.org
Subject: Re: bug#50041: Add font-lock-doc-markup-face
Date: Fri, 13 Aug 2021 16:34:25 +0200

13 aug. 2021 kl. 16.12 skrev Eli Zaretskii <eliz <at> gnu.org>:

> Could you show a couple of examples of
> use of this face, and tell how these use cases are handled without
> that face?

Sure! Here is a Java doc comment:

/**
* Wag the dog.
* @return <code>true</code> iff the dog was already wagged.
*/

Here, it would be reasonable to set @return, <code> and </code> in font-lock-doc-markup-face since these are markup elements; the rest of the comment would be in font-lock-doc-face. And indeed, this is precisely what java-mode does today given the new face. 

Without the face it uses font-lock-constant-face which is not necessarily a good choice. The new face enables users and theme authors to select the markup element appearance independently for a good fit with the doc face, and have it work automatically with all language modes that make use of the new face.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.