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-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 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] Installing Drracket on linux penguin on Chromebook

2020-01-16 Thread Shu-Hung You
Here's what I did: 1. Download the installer for x86_64 linux. 2. Move (or copy) the downloaded .sh file _into_ penguin through Files App. 3. Allow the installer to run by using `chmod +x FILE` (or `chmod 755 FILE`) * Chromrebook does not allow eXecutable permission for files