Thanks for the feedback, Martin! Answers to your comments and questions inline below.
> Am 30.01.2019 um 21:46 schrieb Martin Buchholz <marti...@google.com>: > > 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. > - I'd like (browser-specific) instructions so that I can do a search from my > browser's address bar. It would certainly be possible to do something like this, but it’s beyond the scope of what I’m trying to do, which is just to improve the existing search functionality. > - I'd like a help button so I can easily look up the semantics of API search, > especially as it acquires more convenient but hard-to-discover features. Having a instructions/help link for the search feature is definitely a good idea and worth discussing. > - Where is the definitive source of information on javadoc search? The JEP > itself is frozen now. We’re trying to describe the current implementation and improve on some of its shortcomings for JDK 13 as part of JDK-8178982 https://bugs.openjdk.java.net/browse/JDK-8178982 There are draft specs for existing and changed functionality here: http://cr.openjdk.java.net/~hannesw/8178982/javadoc-search-spec.html http://cr.openjdk.java.net/~hannesw/8178982/new-search.html > - If I right-mouse-click on "SEARCH" the previous word "METHOD" is also > highlighted, and Chrome offers to do a Google search on "METHODSEARCH" > ("""did you mean METHOD SEARCH?""" Nope.) I don’t see the word „METHOD“ anywhere, but why would you want to search for it on Google? Hannes
