On Sat, Feb 2, 2019 at 6:02 PM Jonathan Gibbons <jonathan.gibb...@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. >
