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

From: Eli Zaretskii <[email-masked]>
Date: Fri, 30 Oct 2020 15:30:10 +0200

> From: Mauro Aranda <[email-masked]>
> Date: Fri, 30 Oct 2020 10:20:20 -0300
> Cc: [email-masked]
> 
> 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.