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 <hend...@topoi.pooq.com> 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 > > > <jcol...@sbcglobal.net> 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.
