On Thu, Oct 27, 2022 at 6:18 PM Stefan Kangas <stefankangas@gmail.com> wrote:
Are those faces really needed?  Is it not enough with just the
font-lock-* faces we already have?

They are not needed but might be desirable for users that want to highlight those parts of the code that do not have a font-lock* face to them.
Would it be better to define them as font-lock faces instead?
 
If the answer is that we do need them, should they really be marked
private?  I thought the point of a face was allowing users and themes to
customize them.

You are right, those should not be private.

--
João Paulo L. de Carvalho
Ph.D Computer Science |  IC-UNICAMP | Campinas , SP - Brazil
Postdoctoral Research Fellow | University of Alberta | Edmonton, AB - Canada
joao.carvalho@ic.unicamp.br
joao.carvalho@ualberta.ca