15 Mar
2017
15 Mar
'17
6:38 p.m.
Hi all,
On 03/15/2017 05:59 AM, H. Hirzel wrote:
I agree with Tony. It should be changed.
On 3/15/17, Tobias Pape Das.Linux@gmx.de wrote:
Personally, I think so, yes!
OK! Thanks, Hannes and Tobias. I'll prepare something for the Inbox.
Aesthetically, is it better to have darkBackgroundHighlights answer a lighter colour, influencing the *many* places it is used in the theme, or to instead have "... darkBackgroundHighlights lighter" in certain places relating to selections of various kinds?
Absent replies, I'll experiment and upload what I feel is best.
(I guess this is kind of a bike-shed discussion! "What colour shall we paint the bike-shed^Wtext selection?")
Tony