On Wed, 13 Apr 2022 16:01:17 GMT, Hannes Wallnöfer <hann...@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
