[racket] DrRacket Tools/plugins info wanted

From: Jon Kleiser (jon.kleiser at usit.uio.no)
Date: Mon Jul 29 03:46:31 EDT 2013

Hi,

On one of my older Macs, DrRacket uses quite some time to launch, and I 
wondered if disabling some of the 17 Tools in the Preferences could 
help. Before disabling any of these, however, I'd like some info about 
what they really do. Looking here didn't make me any wiser:
<http://docs.racket-lang.org/drracket/prefs-explanation.html#%28part._.Tools%29>
... except that those "tools" are also called "plugins".

I cannot see that this page <http://docs.racket-lang.org/tools/> has the 
info that I'm looking for either.

/Jon

Posted on the users mailing list.