GNU bug report logs - #77928
[PATCH] use-package :custom-face is meant to behave like custom-set-face

Previous Next

Full log

View this message in rfc822 format

From: Kristoffer Balintona <krisbalintona <at> gmail.com>
To: John Wiegley <johnw <at> gnu.org>, Steven Allen <steven <at> stebalien.com>
Cc: Eli Zaretskii <eliz <at> gnu.org>, shields <at> msrl.com, 77928 <at> debbugs.gnu.org
Subject: bug#77928: 31.0.50; ebcde0f90f6 (bug#77928) breaks :custom-face for themed faces
Date: Sun, 8 Jun 2025 11:40:55 -0700

On Sun, Jun 08 2025, John Wiegley wrote:

>>>>>> Steven Allen <steven <at> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.