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

[Stefan Kangas]

tags 35076 + wontfix
close 35076
thanks

Eli Zaretskii <eliz@gnu.org> writes:

>> 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.

The above quote by Eli makes it clear that we would need a very good
reason to do something like this.  It seems like we are missing that
here, and no further details have been given within over a year.

I'm therefore closing this bug report as wontfix.

Best regards,
Stefan Kangas