Thank-you both!
Cheers
Dan
On Sat, Dec 7, 2019 at 8:25 AM Robby Findler
wrote:
> 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
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
On Fri, Dec
Can you folks send me your preference file (off list)? Feel free to redact
it however you want.
Robby
On Fri, Dec 6, 2019 at 1:29 PM Sorawee Porncharoenwase <
sorawee.pw...@gmail.com> wrote:
> Confirm that I have this problem as well, even when I reset all preference
> files.
>
> On Fri, Dec 6,
Confirm that I have this problem as well, even when I reset all preference
files.
On Fri, Dec 6, 2019 at 11:17 AM Daniel Prager
wrote:
> 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
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: image.png]
>
>>
--
You received this message because you
5 matches
Mail list logo