At Mon, 26 Sep 2011 19:01:26 -0400, Neil Van Dyke wrote:
> Matthew Flatt wrote at 09/26/2011 07:36 AM:
> > Which version did you try? I think WM_CLASS is set as of commit
> > 941dacd966913ebbeca1 (August 4) in the git repo.
> >
>> Will the class be "Drracket", or will that change to "DrRacket" before
> the release?
>> WM_CLASS(STRING) = "drracket", "Drracket"
I've changed it to "DrRacket" and set up the configuration plumbing for
executables/launcher in general.