[image: Capture.PNG]
didn't work on Windows 10
already checked Settings -> Colors -> Choose your default app mode: Dark
On Thursday, January 16, 2020 at 1:59:51 PM UTC+8, Sorawee Porncharoenwase
wrote:
>
> I was reading in the release notes that DrRacket supports dark mode as of
>> 7.5;
On Wed, Jan 15, 2020 at 10:10:12PM -0600, Robby Findler wrote:
> Dark mode will be a lot better in the next release.
I hope so. I use drracket in dark mode on Linux.
The main panels have a proper black background, but some of the framing
has a white background, specifically
the panel that says
Dark mode will be a lot better in the next release. Probably one thing
you have to do (in the current release) is open the preferences
dialog, choose "colors" and then click the "white on black" button.
The snapshot builds are here if you want to see the improvement since
the last release:
Hello everyone,
I was reading in the release notes that DrRacket supports dark mode as of
7.5; however, I don't see this option in the DrRacket preferences. I also
have "Dark" as the default color under the "Colors" section in Settings >
Personalization > Colors. I am using the latest Windows
I am taking a course that uses drracket. I am having trouble installing it
on my Chromebook (through the penguin linux) does anyone have any
suggestions?
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop
At runtime I can use PLTSTDERR to specify which log messages are displayed
to STDOUT. Is there a way to specify at runtime *where* they should be
logged? That is, is there a built-in that does this:
PLTSTDERR="debug@the-logger error" racket foo.rkt | tee foo.log
...except without using tee?
6 matches
Mail list logo