Integrated: JDK-8282559: Allow multiple search terms in javadoc search

[Hannes Wallnöfer]

On Mon, 11 Apr 2022 17:06:05 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review the first of two PRs to enhance JavaDoc search. 
> 
> This one focuses on the existing search script, to which it adds the feature to search for multiple terms. It also improves the implementation of case-sensitive search as well as rating of matches and provides some general update and refactoring of the script.
> 
> The search section in the help page is updated to mention the multiple search term feature, and I repurposed the last example to show the new feature.
> 
> The new search function can be tested here (top-level API doc files only):
> http://cr.openjdk.java.net/~hannesw/8282559/api.00/

This pull request has now been integrated.

Changeset: 5ac7186c
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/5ac7186c9e2ea1e3bdbd8e10429feb520d1aedf8
Stats:     542 lines in 7 files changed: 221 ins; 167 del; 154 mod

8282559: Allow multiple search terms in javadoc search

Reviewed-by: jjg

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

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