<div dir="ltr"><div>For quick and repeated access, you can even create a bookmarklet by placing the following in a bookmark's URL:<br><br>javascript:q = "" + (window.getSelection ? window.getSelection() : document.getSelection ? document.getSelection() : document.selection.createRange().text); if (!q) q = prompt("Search Racket docs", ""); if (q!=null) window.open("<a href="http://www.google.com/search?&q=site:docs.racket-lang.org+">http://www.google.com/search?&q=site:docs.racket-lang.org+</a>" + escape(q).replace(/ /g, "+")); void 0<br>
<br></div><div>If some text is selected in the browser when you click on the bookmarklet (left-click only), it searches for it, otherwise it asks for query terms, and shows the results in a new window/tab.<br></div><div>
<br>
</div>Laurent<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Jan 12, 2013 at 8:17 PM, Stephen Chang <span dir="ltr"><<a href="mailto:stchang@ccs.neu.edu" target="_blank">stchang@ccs.neu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p>For now, you can enter into google:<br>
site:<a href="http://docs.racket-lang.org" target="_blank">docs.racket-lang.org</a> java</p><div class="HOEnZb"><div class="h5">
<div class="gmail_quote">On Jan 12, 2013 2:07 PM, "Harry Spier" <<a href="mailto:vasishtha.spier@gmail.com" target="_blank">vasishtha.spier@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I just did a "search in manuals" on "Java". I wanted to see all the<br>
references to Java in the Racket documentation and it only brought up<br>
a reference to JavaDoc even though I know that the Racket Guide has<br>
references to "Java" in it.<br>
<br>
Is it possible to add an option to the "search in manuals" feature so<br>
that it will bring up all occurances of a word or phrase in the<br>
manuals.<br>
<br>
Thanks,<br>
Harry Spier<br>
_________________________<br>
Racket Developers list:<br>
<a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
</blockquote></div>
</div></div><br>_________________________<br>
Racket Developers list:<br>
<a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
<br></blockquote></div><br></div>