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
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 lo
> 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
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?"
>
"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 "Dar
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. Depend
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
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 t
[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; howe
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: https://
11 matches
Mail list logo