[racket-dev] tool-names -> drracket-tool-names ?

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Fri Feb 4 16:10:55 EST 2011

Dracula only has "tool-names", and it loads properly in the
pre-release installer I tried.  I don't know if "tool-names" is
deprecated or not, but it appears to still work.

Carl Eastlund

On Fri, Feb 4, 2011 at 4:04 PM, John Clements <clements at brinckerhoff.org> wrote:
> It looks like the infotab/setup field named "tool-names" has been renamed "drracket-tool-names".  Is this correct? Should I make this change in all my PLaneT packages?
> John

Posted on the dev mailing list.