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.