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

[Stephen Berman]

On Fri, 30 Oct 2020 11:18:01 -0300 Mauro Aranda <maurooaranda@gmail.com> wrote:

> Eli Zaretskii <eliz@gnu.org> writes:
>
>>> From: Mauro Aranda <maurooaranda@gmail.com>
>>> Date: Fri, 30 Oct 2020 10:20:20 -0300
>>> Cc: 13476@debbugs.gnu.org
>>>
>>> So I'm thinking that perhaps an OK solution, at least for the scroll-bar
>>> face, would be to give it a similar definition to that of the cursor
>>> face.
>>
>> Yes, please try that.  If it fixes this minor problem, and doesn't
>> produce any unintended effects, it is IMO a fine solution for this
>> issue.
>
> I've tried the attached patch.  Now reverting the foreground color
> works, and I haven't seen unintended effects so far.

I confirm it works for me too.

Steve Berman