DrRacket 7.5 colors a bit dark and low contrast on Mac

37 views
Skip to first unread message

Daniel Prager

unread,
Dec 6, 2019, 3:35:26 AM12/6/19
to Racket Users
I've just upgraded from 7.2 to 7.5 and am struggling to read the reverse text and error messages in the status bar with the default color scheme.

Even with preferences I can't see how to adjust the scheme in the needed ways.

Any suggestions?

Screenshots below ...

Dan


DrRacket 7.5

Screen Shot 2019-12-06 at 7.28.04 pm.png

Compare with DrRacket 7.2

Screen Shot 2019-12-06 at 7.31.05 pm.png

Robby Findler

unread,
Dec 6, 2019, 9:10:29 AM12/6/19
to Daniel Prager, Racket Users
Something may have gotten confused in your preference file, I would say. What happens if you open the preferences dialog and turn white-on-Black on and back off again?

Robby  

--
You received this message because you are subscribed to the Google Groups "Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-users...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAFKxZVXOQDz9GCrnM4OhPy0JHxLSW7WTy03xhXkt6p1-wWdX6w%40mail.gmail.com.

Daniel Prager

unread,
Dec 6, 2019, 2:17:13 PM12/6/19
to Robby Findler, Racket Users
Hi Robby


> What happens if you open the preferences dialog and turn white-on-Black on and back off again?


No change.

I still have 7.2 on my system, which works fine.

Here's what it looks like in black-on-white for reference.

image.png

Sorawee Porncharoenwase

unread,
Dec 6, 2019, 2:29:17 PM12/6/19
to Daniel Prager, Robby Findler, Racket Users
Confirm that I have this problem as well, even when I reset all preference files.

--
You received this message because you are subscribed to the Google Groups "Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-users...@googlegroups.com.

Robby Findler

unread,
Dec 6, 2019, 3:30:39 PM12/6/19
to Sorawee Porncharoenwase, Daniel Prager, Racket Users
Can you folks send me your preference file (off list)? Feel free to redact it however you want. 

Robby

Robby Findler

unread,
Dec 6, 2019, 4:26:01 PM12/6/19
to Sorawee Porncharoenwase, Daniel Prager, Racket Users
Okay, Sorawee and I had a side-bar conversation and I've pushed a fix. Thanks for alerting me to the problem!

(The DrRacket-level preferences don't default to the right color scheme when the OS is in dark mode currently either, but maybe I'll have to fix that one another day.)

Robby

Daniel Prager

unread,
Dec 6, 2019, 5:10:14 PM12/6/19
to Robby Findler, Sorawee Porncharoenwase, Racket Users
Thank-you both!

Cheers

Dan




Reply all
Reply to author
Forward
0 new messages