Subject: Re: bug#71469: font-lock does not apply standard faces and their descendants

From: Robert Pluim <[email-masked]>
Date: Wed, 09 Oct 2024 15:20:37 +0200

>>>>> On Wed, 09 Oct 2024 08:48:47 -0400, Stefan Monnier <[email-masked]> said:

    >> How about "use quoted value 'font-lock-comment-face directly instead"?
    Stefan> Much better, yes.  I'd even say "symbol" rather than "value" to be
    Stefan> more precise.

Works for me.

Robert
--