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

2020-01-17 Thread Hendrik Boom 
On Fri, Jan 17, 2020 at 07:12:13AM -0600, Robby Findler wrote:
> (Sorry I seem to have missed some messages in this thread, but I see them
> now. Thanks for the clarifications Sorawee!)
> 
> It looks to me like like the lower, gui layer is communicating the fact
> that we're in dark mode correctly to the framework and drracket layers but
> it isn't actually using the dark mode colors. Specifically,
> get-label-background-color returns a dark color but that doesn't seem to be
> the color that gets used to draw.

Is that code specific to Windows?  Or is that miscommunication likely
to be present on other platforms as well?

-- hendrik

-- 
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/20200117181532.m4hnbwfnqgyzu72z%40topoi.pooq.com.

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

2020-01-17 Thread Juan Carlos Olivo 
Awesome! 
If there's anything I can do, please let me know.

--JCO

On Friday, January 17, 2020 at 7:12:32 AM UTC-6, Robby Findler wrote:
>
> (Sorry I seem to have missed some messages in this thread, but I see them 
> now. Thanks for the clarifications Sorawee!)
>
> It looks to me like like the lower, gui layer is communicating the fact 
> that we're in dark mode correctly to the framework and drracket layers but 
> it isn't actually using the dark mode colors. Specifically, 
> get-label-background-color returns a dark color but that doesn't seem to be 
> the color that gets used to draw. 
>
> Robby
>
>
>
> On Fri, Jan 17, 2020 at 6:27 AM Sorawee Porncharoenwase <
> sorawe...@gmail.com > wrote:
>
>> This StackOverflow answer looks relevant: 
>> https://stackoverflow.com/a/51336913/718349
>>
>> On Fri, Jan 17, 2020 at 4:12 AM Sorawee Porncharoenwase <
>> sorawe...@gmail.com > wrote:
>>
>>> OK. I use my friend's Windows 10 machine and I can replicate the 
>>> problem. Here's the screenshot:
>>>
>>> [image: Untitled.png]
>>>
>>> On Fri, Jan 17, 2020 at 3:49 AM Sorawee Porncharoenwase <
>>> sorawe...@gmail.com > wrote:
>>>
 Which operating system do you use? And can you share a a screenshot?
>

 In my understanding, Juan Carlos Olivo and Shawn Shawn have exactly the 
 same problem. They use Windows 10 and switched to dark theme at the OS 
 level, but the DrRacket UI still has the light theme. For the screenshot, 
 see the one in Shawn Shawn's email above.
  

>
> Robby
>
> On Thu, Jan 16, 2020 at 10:13 PM Juan Carlos Olivo <
> jco...@sbcglobal.net > wrote:
>
>> "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?"
>>
>> You are correct. Currently I have the editor with a dark theme 
>> (Spacemacs), but the DrRacket UI itself is light, even though I set it 
>> to 
>> "Dark" in Windows settings.
>>
>> Thank you for seeking clarification!
>>
>> --JCO
>>
>> On Wednesday, January 15, 2020 at 11:59:51 PM UTC-6, 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

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

2020-01-17 Thread Sorawee Porncharoenwase 
> Which operating system do you use? And can you share a a screenshot?
>

In my understanding, Juan Carlos Olivo and Shawn Shawn have exactly the
same problem. They use Windows 10 and switched to dark theme at the OS
level, but the DrRacket UI still has the light theme. For the screenshot,
see the one in Shawn Shawn's email above.


>
> Robby
>
> On Thu, Jan 16, 2020 at 10:13 PM Juan Carlos Olivo 
> wrote:
>
>> "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?"
>>
>> You are correct. Currently I have the editor with a dark theme
>> (Spacemacs), but the DrRacket UI itself is light, even though I set it to
>> "Dark" in Windows settings.
>>
>> Thank you for seeking clarification!
>>
>> --JCO
>>
>> On Wednesday, January 15, 2020 at 11:59:51 PM UTC-6, 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

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

2020-01-17 Thread Robby Findler 
Which operating system do you use? And can you share a a screenshot?

Robby

On Thu, Jan 16, 2020 at 10:13 PM Juan Carlos Olivo 
wrote:

> "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?"
>
> You are correct. Currently I have the editor with a dark theme
> (Spacemacs), but the DrRacket UI itself is light, even though I set it to
> "Dark" in Windows settings.
>
> Thank you for seeking clarification!
>
> --JCO
>
> On Wednesday, January 15, 2020 at 11:59:51 PM UTC-6, 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/469452d6-2874-4933-b9bc-3b3b9c84af7a%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To

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

2020-01-16 Thread Juan Carlos Olivo 
"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?"

You are correct. Currently I have the editor with a dark theme (Spacemacs), 
but the DrRacket UI itself is light, even though I set it to "Dark" in 
Windows settings.

Thank you for seeking clarification!

--JCO

On Wednesday, January 15, 2020 at 11:59:51 PM UTC-6, 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/469452d6-2874-4933-b9bc-3b3b9c84af7a%40googlegroups.com.

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

2020-01-16 Thread Robby Findler 
If you see something funny, please feel free to send me a screenshot so I
can really get what's going on.

Thanks!

Robby

On Thu, Jan 16, 2020 at 10:25 AM Hendrik Boom 
wrote:

> On Thu, Jan 16, 2020 at 07:14:11AM -0600, Robby Findler wrote:
> > Oh, that part is up to your operating system. Depending on which
> > flavor of linux you can get different plugin-type thingies installed
> > to get dark mode for those bits, I believe. I'm not too familiar with
> > how all that works, but the background of the panels is a place where
> > the WM is deciding what to draw (and telling DrRacket what it does),
> > as opposed to DrRacket deciding what color.
>
> The desktop-provided outer frame is properly dark on my system.
> I will incestigate.
>
> >
> > Unless you're saying that other apps look appropriately dark in their
> > panels and dialog boxes and whatnot, and only DrRacket doesn't?
>
> Other apps that I use generally don't have dark modes.
> >
> > Robby
> >
> > On Wed, Jan 15, 2020 at 11: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
> > > >
> > > > 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
> .
> >
> > --
> > 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/CAL3TdOOnXuazo72aL6mQ-T2vTZWb%2BLr4uo5EH-vNzY8p%3Dqq2OQ%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/20200116162500.e6sfcvm3zzvyc7mq%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/CAL3TdOO7A87Gex1qnYBtKB_XpiAzEDQ9B_NX%2BTZNj3QCyj7P5Q%40mail.gmail.com.

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

2020-01-16 Thread Hendrik Boom 
On Thu, Jan 16, 2020 at 07:14:11AM -0600, Robby Findler wrote:
> Oh, that part is up to your operating system. Depending on which
> flavor of linux you can get different plugin-type thingies installed
> to get dark mode for those bits, I believe. I'm not too familiar with
> how all that works, but the background of the panels is a place where
> the WM is deciding what to draw (and telling DrRacket what it does),
> as opposed to DrRacket deciding what color.

The desktop-provided outer frame is properly dark on my system.
I will incestigate.

> 
> Unless you're saying that other apps look appropriately dark in their
> panels and dialog boxes and whatnot, and only DrRacket doesn't?

Other apps that I use generally don't have dark modes. 
> 
> Robby
> 
> On Wed, Jan 15, 2020 at 11: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
> > >
> > > 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.
> 
> -- 
> 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/CAL3TdOOnXuazo72aL6mQ-T2vTZWb%2BLr4uo5EH-vNzY8p%3Dqq2OQ%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/20200116162500.e6sfcvm3zzvyc7mq%40topoi.pooq.com.

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

2020-01-16 Thread Robby Findler 
Oh, that part is up to your operating system. Depending on which
flavor of linux you can get different plugin-type thingies installed
to get dark mode for those bits, I believe. I'm not too familiar with
how all that works, but the background of the panels is a place where
the WM is deciding what to draw (and telling DrRacket what it does),
as opposed to DrRacket deciding what color.

Unless you're saying that other apps look appropriately dark in their
panels and dialog boxes and whatnot, and only DrRacket doesn't?

Robby

On Wed, Jan 15, 2020 at 11: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
> >
> > 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.

-- 
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/CAL3TdOOnXuazo72aL6mQ-T2vTZWb%2BLr4uo5EH-vNzY8p%3Dqq2OQ%40mail.gmail.com.

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.