GNU bug report logs - #13476
24.3.50; Reverting scroll-bar face customization has no effect

Previous Next

Full log

View this message in rfc822 format

From: Mauro Aranda <maurooaranda <at> gmail.com>
To: Po Lu <luangruo <at> yahoo.com>
Cc: 13476 <at> debbugs.gnu.org, eliz <at> gnu.org, stephen.berman <at> gmx.net
Subject: bug#13476: 24.3.50; Reverting scroll-bar face customization has no effect
Date: Mon, 28 Feb 2022 09:31:52 -0300

Po Lu <luangruo <at> yahoo.com> writes:

> Mauro Aranda <maurooaranda <at> gmail.com> 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.

It would have been nice to see the patch posted here.

Previous Next

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