RFR: JDK-8248863: Add search landing page to API documentation
Hannes Wallnöfer
hannesw at openjdk.java.net
Tue Apr 19 15:07:16 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/
@jonathan-gibbons thanks for the comments, I added a commit addressing the issues you pointed out.
-------------
PR: https://git.openjdk.java.net/jdk/pull/8226
More information about the javadoc-dev
mailing list