On Wed, Mar 15, 2017 at 10:38 AM, Tony Garnock-Jones <tonyg at ccs.neu.edu>
wrote:

> 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 at 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.
>
> Please find something that works well for you.

As a point of feedback, I find even your original change is still not
noticeable by me (on windows with the LCD monitor that I use - I've had
similar problems in the past, too). That said, I also prefer the Monokai
dark, so this doesn't directly impact me, either.

-cbc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.squeakfoundation.org/pipermail/squeak-dev/attachments/20170315/2a6b1c24/attachment.html>