<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Hi Stephen,<br>
<br>
Thanks! I'm a little wiser now. ;-)<br>
<br>
/Jon<br>
<br>
On 29-07-13 15:32 , Stephen De Gabrielle wrote:
<blockquote
cite="mid:CAGHj7-+X5D+wH3V4s0cVdikZubxbjEcWtgv_sEp0OiOu4dE6AQ@mail.gmail.com"
type="cite">
<div dir="ltr"><span
style="font-family:arial,sans-serif;font-size:13px">Hi, </span>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">I
delete anything that I recognise & don't use, (and leave
the stuff I don't understand alone).<br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">I
remove the teaching languages, slideshow, swindle, lazy. </div>
<div style="font-family:arial,sans-serif;font-size:13px">
<br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">If you
find racket doesn't launch you can always manually edit the
preferences file.</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">My
suggested working minimum is </div>
<div style="font-family:arial,sans-serif;font-size:13px">Check
Syntax</div>
<div style="font-family:arial,sans-serif;font-size:13px">
Graphical Debugger</div>
<div style="font-family:arial,sans-serif;font-size:13px">Macro
Stepper</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">
I like to include RackUnit</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">
HTH</div>
<div style="font-family:arial,sans-serif;font-size:13px"><br>
</div>
<div style="font-family:arial,sans-serif;font-size:13px">Stephen</div>
<div><img src="cid:part1.04080307.07070604@ulrik.uio.no"
alt="Inline image 1" height="354" width="428"><br>
</div>
</div>
<div class="gmail_extra"><br clear="all">
<div>
<div dir="ltr">--<br>
<a moz-do-not-send="true"
href="http://www.degabrielle.name/stephen" target="_blank">Stephen
De Gabrielle</a>
<div><br>
</div>
</div>
</div>
<br>
<br>
<div class="gmail_quote">On Mon, Jul 29, 2013 at 8:46 AM, Jon
Kleiser <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:jon.kleiser@usit.uio.no" target="_blank">jon.kleiser@usit.uio.no</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
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:<br>
<<a moz-do-not-send="true"
href="http://docs.racket-lang.org/drracket/prefs-explanation.html#%28part._.Tools%29"
target="_blank">http://docs.racket-lang.org/drracket/prefs-explanation.html#%28part._.Tools%29</a>><br>
... except that those "tools" are also called "plugins".<br>
<br>
I cannot see that this page <<a moz-do-not-send="true"
href="http://docs.racket-lang.org/tools/" target="_blank">http://docs.racket-lang.org/tools/</a>>
has the info that I'm looking for either.<br>
<br>
/Jon<br>
____________________<br>
Racket Users list:<br>
<a moz-do-not-send="true"
href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote>
</div>
<br>
</div>
</blockquote>
<br>
</body>
</html>