bug#35076: [26.1] delete-face [FEATURE REQUEST]

[Eli Zaretskii]

> Date: Mon, 1 Apr 2019 20:04:03 -0400
> From: Boruch Baum <boruch_baum@gmx.com>
> 
> I don't see any command or recommended method for deleting a face. Is
> there one? Shouldn't there either be one, or a discussion about it in
> the documentation?

Maybe I'm missing something, but why would we need such a method?
What would be a practical use case where it's necessary to delete a
face (as opposed to simply leaving it alone and not using it)?

I'm asking because implementing this will not be trivial, what with
all the places where faces are recorded and cached, so we'd need a
good reason to do that.  OTOH, Emacs already knows how to replace a
face when it is redefined, so it isn't like we waste memory here.