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, updated on April 20th): > http://cr.openjdk.java.net/~hannesw/8248863/api.02/ > http://cr.openjdk.java.net/~hannesw/8248863/api.02/search.html This pull request has now been integrated. Changeset: 3cdedf1d Author: Hannes Wallnöfer <hann...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/3cdedf1ddb1b5058fd3d02891b4099964e4b4df2 Stats: 742 lines in 20 files changed: 678 ins; 7 del; 57 mod 8248863: Add search landing page to API documentation Reviewed-by: jjg ------------- PR: https://git.openjdk.java.net/jdk/pull/8226
