<div>Hi, </div>
<div> </div>
<div>The javascript required message should ask user to use compatible default browser:</div>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">&#39;Sorry, you must have JavaScript to use this page.&#39; </blockquote>
<div>does not explain that to use the &#39;help desk&#39; search under windows you should change your default browser.</div>
<p>Suggested text:</p>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">
<p>&#39;Sorry, you must have JavaScript to use this page.</p>
<div>Javascript is disabled for local files in Internet Explorer. Please change your default browser to one that supports javascript in local files. Suggestions: Firefox, Opera, Safari, Chrome.&#39;</div></blockquote>
<div> </div>
<div>We should probably also mention this on the documentation home page, in the &#39;getting started&#39; document and in &#39;<a class="plainlink" href="http://docs.racket-lang.org/drracket/index.html?q=F1"><span style="FONT-WEIGHT: bold">DrRacket</span>: Programming Environment</a>&#39;.</div>

<div> </div>
<div>Kind regards, </div>
<div> </div>
<div>Stephen </div>
<div><br> </div>
<div class="gmail_quote">On Fri, May 6, 2011 at 9:22 PM, YC <span dir="ltr">&lt;<a href="mailto:yinso.chen@gmail.com">yinso.chen@gmail.com</a>&gt;</span> wrote:<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">
<div>If I recall correctly there were suggestions to serve the help pages through a local web server - was that tried and rejected?  </div>
<div> </div>
<div>Thanks,</div>
<div>yc<font color="#888888"><br></font></div>
<div>
<div></div>
<div class="h5">
<div class="gmail_quote">On Fri, May 6, 2011 at 12:57 PM, Eli Barzilay <span dir="ltr">&lt;<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>&gt;</span> wrote:<br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">
<div>Four minutes ago, Jordan Schatz wrote:<br>&gt; This is the only way I am aware of to get IE to automatically run JS<br>&gt; in local files:<br>&gt;<br>&gt; <a href="http://technet.microsoft.com/en-us/library/cc749149(WS.10).aspx" target="_blank">http://technet.microsoft.com/en-us/library/cc749149(WS.10).aspx</a><br>
&gt; (keep reading, it starts there but the important bit is a couple<br>&gt; paragraphs down)<br><br></div>There are two things there, which both don&#39;t work: one is to disable<br>the whole thing, which means that you give up all proection making it<br>
a non-solution.  The other (the &quot;Mark of the Web&quot; ridiculousness)<br>seemed like a promising direction, but I remember that there were some<br>bad issues with that too.<br><br>[IMO, they could have made things much better by making all local<br>
pages behave as if they had that mark thing (which makes it impossible<br>to lead to security issues like reading local files), and only pages<br>that need more access would lead to asking the user for permission.<br>It seems like that would have been easier, since it makes the whole<br>
local machine zone lockdown unnecessary...]<br>
<div>
<div></div></div></blockquote></div></div></div><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>
</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>