On Wed, 13 Apr 2022 14:11:13 GMT, Hannes Wallnöfer <hann...@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/
>
> Hannes Wallnöfer has updated the pull request incrementally with one 
> additional commit since the last revision:
> 
>   Update variable name

I updated the help text along your suggestions, I hope it's better now.

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

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

Reply via email to