Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-15 Thread Shawn Shawn


[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; 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 10. 
>
>
> Just to be clear. DrRacket supports theme customization *for the editor* 
> under the "Colors" tab long ago (and this is what Robby was talking about 
> in the above reply). If you want the editor to have a dark background, you 
> should choose "white on black" theme, "Tol's White on Black" theme, or 
> install any additional theme (e.g., Spacemacs Dark) via the package manager.
>
> And then there's DrRacket's general UI. Its dark theme support was added 
> since Racket 7.5, and this depends on the customization at the OS level. 
>
> Here are four possibilities:
>
> - Dark theme at the OS level and dark theme for the editor
>
> [image: Screen Shot 2020-01-15 at 21.37.05.png]
>
> - Dark theme at the OS level and light theme for the editor
>
> [image: Screen Shot 2020-01-15 at 21.45.54.png]
>  
> - Light theme at the OS level and light theme for the editor
>
> [image: Screen Shot 2020-01-15 at 21.50.02.png]
>
> - Light theme at the OS level and dark theme for the editor
>
> [image: Screen Shot 2020-01-15 at 21.49.17.png]
>
> As I understand, you have no problem with the customization for editors, 
> but have a problem with the customization for the general UI. Is that 
> correct? I don't have Windows or Linux, so I don't know how DrRacket's 
> general UI looks like for them. But it works reasonably well in MacOS.
>
> On Wed, Jan 15, 2020 at 9:03 PM Hendrik Boom  > wrote:
>
>> 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 File Edit View Language, etc
>> and
>>   the panel that says Untitles ... Run Stop
>> on startup.
>>
>> > 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: https://snapshot.racket-lang.org/
>> > 
>> > Rpbby
>> > 
>>
>> > >
>> > > Thank you!
>> > >
>> > > --JC
>> > >
>> > > --
>> > > 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...@googlegroups.com .
>> > > To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/e3a39d0a-f629-4179-a668-87e87f2a0118%40googlegroups.com
>> .
>> > 
>> > -- 
>> > 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...@googlegroups.com .
>> > To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/CAL3TdOOxxtr81Cxw-XCq-HqMLDx2SF7OZnzUpUuXcodUONHwZA%40mail.gmail.com
>> .
>>
>> -- 
>> 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...@googlegroups.com .
>> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/racket-users/20200116050330.zwk5h2mghmgq42ce%40topoi.pooq.com
>> .
>>
>

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/8ae327eb-7262-499e-9474-b2aad95ce435%40googlegroups.com.


Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-15 Thread Hendrik Boom
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 File Edit View Language, etc
and
  the panel that says Untitles ... Run Stop
on startup.

> 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: https://snapshot.racket-lang.org/
> 
> Rpbby
> 
> On Wed, Jan 15, 2020 at 10:07 PM Juan Carlos Olivo
>  wrote:
> >
> > 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 10.
> >
> > I was wondering if I am missing something or doing something wrong?
> >
> > Thank you!
> >
> > --JC
> >
> > --
> > 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+unsubscr...@googlegroups.com.
> > To view this discussion on the web visit 
> > https://groups.google.com/d/msgid/racket-users/e3a39d0a-f629-4179-a668-87e87f2a0118%40googlegroups.com.
> 
> -- 
> 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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/CAL3TdOOxxtr81Cxw-XCq-HqMLDx2SF7OZnzUpUuXcodUONHwZA%40mail.gmail.com.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/20200116050330.zwk5h2mghmgq42ce%40topoi.pooq.com.


Re: [racket-users] DrRacket Dark Mode in Windows

2020-01-15 Thread Robby Findler
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: https://snapshot.racket-lang.org/

Rpbby

On Wed, Jan 15, 2020 at 10:07 PM Juan Carlos Olivo
 wrote:
>
> 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 10.
>
> I was wondering if I am missing something or doing something wrong?
>
> Thank you!
>
> --JC
>
> --
> 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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-users/e3a39d0a-f629-4179-a668-87e87f2a0118%40googlegroups.com.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAL3TdOOxxtr81Cxw-XCq-HqMLDx2SF7OZnzUpUuXcodUONHwZA%40mail.gmail.com.


[racket-users] DrRacket Dark Mode in Windows

2020-01-15 Thread Juan Carlos Olivo
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 10. 

I was wondering if I am missing something or doing something wrong? 

Thank you!

--JC

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/e3a39d0a-f629-4179-a668-87e87f2a0118%40googlegroups.com.


[racket-users] Installing Drracket on linux penguin on Chromebook

2020-01-15 Thread William Dobias
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 receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/90d60948-32b1-4ed8-adbc-3c2f913ca3af%40googlegroups.com.


[racket-users] Logging to STDOUT and to file

2020-01-15 Thread David Storrs
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?  tee is interfering with my program for some
reason, and if there's a simple way to resolve this then I'd rather not
spend the time figuring out what's going on.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAE8gKoc_JPSGGx0Rg_A_4iG74WV4aiptTu3T878H9Ar3BPaqVg%40mail.gmail.com.