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

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

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

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?" >

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

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.

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

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

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;

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

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: