git: openjdk/jdk: 8303056: Improve support for Unicode characters and digits in JavaDoc search

[Hannes Wallnöfer]

Changeset: 52ec4bcb
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2023-08-09 09:50:21 +0000
URL:       https://git.openjdk.org/jdk/commit/52ec4bcb1bab15dbf0a9b2488d33a23cdc1cb0e1

8303056: Improve support for Unicode characters and digits in JavaDoc search

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js.template
! test/langtools/jdk/javadoc/doclet/testSearchScript/TestSearchScript.java
! test/langtools/jdk/javadoc/doclet/testSearchScript/listpkg/List.java
! test/langtools/jdk/javadoc/doclet/testSearchScript/listpkg/ListProvider.java
! test/langtools/jdk/javadoc/doclet/testSearchScript/listpkg/MyList.java