bug#50041: closed (Add font-lock-doc-markup-face)

[GNU bug Tracking System]

Your message dated Sat, 14 Aug 2021 11:01:45 +0200
with message-id <2A04DC25-3187-4CB4-9414-6F78871EEC03@acm.org>
and subject line Re: bug#50041: Add font-lock-doc-markup-face
has caused the debbugs.gnu.org bug report #50041,
regarding Add font-lock-doc-markup-face
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
50041: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50041
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: Add font-lock-doc-markup-face Date: Fri, 13 Aug 2021 12:53:04 +0200

Add a standard face for mark-up syntax and keywords inside code documentation 
(doc comments/strings) whose body text is typically set in font-lock-doc-face. 
This could include various tags, brackets, quotes, keywords or other 
syntactically special characters.

Justification:

- A standard face means that users and theme authors can set it once for all 
modes needing it.
- Having a face that harmonises with font-lock-doc-face reduces the risk of bad 
ergonomics and aesthetics.
- Setting doc mark-up in a distinct face makes in-source documentation more 
readable.
- It also aids writing documentation by providing feed-back to the programmer 
in the same way as fontifying regular language constructs.

The CC modes have the foresight of already using `font-lock-doc-markup-face` if 
defined, anticipating its eventual addition, defaulting to 
`font-lock-constant-face`. I therefore propose that the new face will inherit 
from `font-lock-constant-face` by default.

Proposed patch attached.

0001-Add-font-lock-doc-markup-face.patch
Description: Binary data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#50041: Add font-lock-doc-markup-face
>
>
>
>
> Date: 
>
> Sat, 14 Aug 2021 11:01:45 +0200
>
>
>
>
> Thank you, pushed to master.
>
>
>
> --- End Message ---