[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 Racket
docs", ""); if (q!=null) window.open("
http://www.google.com/search?&q=site:docs.racket-lang.org+" +
escape(q).replace(/ /g, "+")); void 0

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.

Laurent


On Sat, Jan 12, 2013 at 8:17 PM, Stephen Chang <stchang at ccs.neu.edu> wrote:

> For now, you can enter into google:
> site:docs.racket-lang.org java
> On Jan 12, 2013 2:07 PM, "Harry Spier" <vasishtha.spier at gmail.com> 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 know that the Racket Guide has
>> references to "Java" in it.
>>
>> Is it possible to add an option to the "search in manuals" feature so
>> that it will bring up all occurances of a word or phrase in the
>> manuals.
>>
>> Thanks,
>> Harry Spier
>> _________________________
>>   Racket Developers list:
>>   http://lists.racket-lang.org/dev
>>
>
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130114/ca723848/attachment.html>