Re: [racket-dev] Search in manuals

For quick and repeated access, you can even create a bookmarklet by placing the following in a bookmark's URL: javascript:q = "" + (window.getSelection ? window.getSelection() : document.getSelection ? document.getSelection() : document.selection.createRange().text); if (!q) q = prompt("Search Rac

Re: [racket-dev] Search in manuals

For now, you can enter into google: site:docs.racket-lang.org java On Jan 12, 2013 2:07 PM, "Harry Spier" wrote: > I just did a "search in manuals" on "Java". I wanted to see all the > references to Java in the Racket documentation and it only brought up > a reference to JavaDoc even though I kn