Feedback on improved Javadoc search

[Martin Buchholz]

On Sat, Feb 2, 2019 at 6:02 PM Jonathan Gibbons <jonathan.gibbons at oracle.com>
wrote:

>
> On 1/30/19 12:46 PM, Martin Buchholz wrote:
>
> Maybe not quite what you want, but:
> - javadoc search is awesome!
> - I'd like a snippet of html so I can embed a doc search box in my own
> home page.
>
> The only way I could imagine that working is if the snippet of html visits
> the page with a search query in the query part of the URL, so that the API
> page is visited and it is as though the search query is entered into the
> search box on that page. Would that be sufficient?  It means a search would
> be limited to a specific version of an API.
>

Yes.  For years, I've maintained personal "javadoc api search" input boxes
on my home page for all the jdk versions I was interested in, but they
never really worked well.
Your new javadoc search is much better, except for the problem that I must
visit the javadoc site to get to the search box.

> That being said, one of the original goals of javadoc Search was that it
should not be necessary for folk to read a manual to use the feature ;-)
Just curious, is there a public specification for what you can do in Google
Search?

Good point.  In practice people write things like "Mastering Google Search
Operators in 67 Easy Steps".  I don't know where the people who write those
articles get their info.  Probably Javadoc Search will be less popular.

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/javadoc-dev/attachments/20190203/e043258a/attachment.html>