Hi all, Is there a way to specify that DrRacket use a certain color scheme for a certain version, or to dynamically choose a color scheme at startup?
It occurred to me that since I sometimes run a DrRacket built from the nightly snapshots and sometimes run the latest stable build, it’d be nice to have a big obvious visual distinction between the two. Since they share preferences, though, I can’t just set different colors via Preferences. Also, I know I’m not the only one to have multiple DrRackets installed, so if you have a different technique for distinguishing them visually (aside from the version number in the repl), I’d be interested to hear it. Thanks, jmj -- 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. For more options, visit https://groups.google.com/d/optout.
