RFR: JDK-8248863: Add search landing page to API documentation

liach duke at openjdk.java.net
Wed Apr 13 21:31:23 UTC 2022


On Wed, 13 Apr 2022 16:01:17 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> This is the second of two PRs to enhance JavaDoc search, it is based on the first one (#8185).
> 
> It adds a standalone search page (search.html) along with its own script file (search-page.js). This PR is very similar to the last prototype I uploaded and demoed, the changes are mostly tweaks to the markup, style sheets and text. 
> 
> JDK API docs rendered with this patch can be viewed and tested here (top-level files only):
> http://cr.openjdk.java.net/~hannesw/8248863/api.01/

User remark:
1. Seems the result list will automatically scroll down when the mouse hovers over, which feels weird.
2. When an arbitrary string is typed in and enter is pressed, it navigates to the best match, even though it may not be an accurate match to the class simple name or method name. Should we consider navigating to the results page first in that case?

-------------

PR: https://git.openjdk.java.net/jdk/pull/8226


More information about the javadoc-dev mailing list