Is it possible to make helpdesk calls from DrRacket bring up <a href="http://docs.racket-lang.org">docs.racket-lang.org</a> instead of &#39;My Computer?&#39;, <br><br>Kind regards, <br>Stephen<br><br><div class="gmail_quote">
On Wed, May 11, 2011 at 6:20 PM, Eli Barzilay <span dir="ltr">&lt;<a href="mailto:eli@barzilay.org">eli@barzilay.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Friday, YC wrote:<br>
&gt; If I recall correctly there were suggestions to serve the help pages<br>
&gt; through a local web server - was that tried and rejected?<br>
<br>
</div>It was used a while ago, but turned out to be too fragile.  (Doing<br>
that would make all JS hacks redundant.)<br>
<div><div></div><div class="h5"><br>
--<br>
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:<br>
                    <a href="http://barzilay.org/" target="_blank">http://barzilay.org/</a>                   Maze is Life!<br>
_________________________________________________<br>
  For list-related administrative tasks:<br>
  <a href="http://lists.racket-lang.org/listinfo/users" target="_blank">http://lists.racket-lang.org/listinfo/users</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br><br>--<br>Stephen De Gabrielle<br><a href="mailto:stephen.degabrielle@acm.org">stephen.degabrielle@acm.org</a><br>Telephone +44 (0)20 85670911<br>Mobile        +44 (0)79 85189045<br>
<a href="http://www.degabrielle.name/stephen">http://www.degabrielle.name/stephen</a><br><br>