[racket] racket search engine plugin
You can also use a bookmarklet. Just create a bookmark with the following
"url":
javascript:q%20=%20""%20+%20(window.getSelection%20?%20window.getSelection()%20:%20document.getSelection%20?%20document.getSelection()%20:%20document.selection.createRange().text);%20if%20(!q)%20q%20=%20prompt("Search%20Racket%20docs",%20"");%20if%20(q!=null)%20window.open("
http://www.google.com/search?&q=site:docs.racket-lang.org+
"%20+%20escape(q).replace(/%20/g,%20"+"));%20void%200
Laurent
On Sat, Jul 5, 2014 at 2:17 AM, Neil Van Dyke <neil at neilvandyke.org> wrote:
> An alternative in Firefox is to make a Quicksearch bookmark. I currently
> have one like this:
>
> Name: Racket 6.0 Documentation Quicksearch
> Location: file:///home/user/.racket/6.0/doc/search/index.html?q=%s
> Keyword: r
>
> So, to get the Racket docs for "foo", I get a new tab or browser, and type
> "r foo" and hit Enter. I have only the multipurpose location text field,
> no separate search text field, and my default browser page is blank. No
> needing to mouse to point&click to select what kind of search I'm doing. I
> have similar Quicksearches for Google, Google News, Google Image, eBay, and
> Amazon.
>
> Neil
>
> ____________________
> Racket Users list:
> http://lists.racket-lang.org/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140705/64430ae5/attachment-0001.html>