Subject: Re: bug#13476: 24.3.50; Reverting scroll-bar face customization has no effect

From: Po Lu <[email-masked]>
Date: Mon, 28 Feb 2022 19:59:24 +0800

Mauro Aranda <[email-masked]> writes:

>> So I think the bug lies in Custom (it should reset the value to
>> "unspecified") and not the declaration of the scroll-bar face.
>
> Why do you think it is a bug in Custom?

I assumed it was, but it turned out to not be the case.  A better fix
was installed on master a few hours ago, please give it a try.  Thanks.