bug#77928: 31.0.50; ebcde0f90f6 (bug#77928) breaks :custom-face for themed faces

[Kristoffer Balintona]

On Sun, Jun 08 2025, John Wiegley wrote:

>>>>>> Steven Allen <steven@stebalien.com> writes:
>
>> It would help to better understand how it was intended to behave:
>
>> - Should :custom-face override the theme or should the theme override
>>   :custom-face?
>
> I’ve never used themes before, so I wasn’t thinking of them at all when the
> feature was added. Someone who uses themes a lot, and customizes them, should
> be asked this question.

FWIW, I haven’t been following this thread closely, but as a user who
hadn’t thought at all about the technical sides of things, what I simply
expected of :custom-face was that it be applied on top of any existing
theme customizations, not that it override them.

Again, that’s my un-technical, naive expectation as a user. Just
throwing in my experience.

-- 
Kind regards,
Kristoffer