[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#13476: 24.3.50; Reverting scroll-bar face customization has no effec
|
From: |
Eli Zaretskii |
|
Subject: |
bug#13476: 24.3.50; Reverting scroll-bar face customization has no effect |
|
Date: |
Fri, 30 Oct 2020 15:30:10 +0200 |
> 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.