<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">'Sorry, you must have JavaScript to use this page.' </blockquote> <div>does not explain that to use the 'help desk' 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>'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.'</div></blockquote> <div> </div> <div>We should probably also mention this on the documentation home page, in the 'getting started' document and in '<a class="plainlink" href="http://docs.racket-lang.org/drracket/index.html?q=F1"><span style="FONT-WEIGHT: bold">DrRacket</span>: Programming Environment</a>'.</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"><<a href="mailto:yinso.chen@gmail.com">yinso.chen@gmail.com</a>></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"><<a href="mailto:eli@barzilay.org" target="_blank">eli@barzilay.org</a>></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>> This is the only way I am aware of to get IE to automatically run JS<br>> in local files:<br>><br>> <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> > (keep reading, it starts there but the important bit is a couple<br>> paragraphs down)<br><br></div>There are two things there, which both don'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 "Mark of the Web" 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>