On Tue, 10 Sep 2024 20:03:46 GMT, Chen Liang <li...@openjdk.org> wrote:
> Just curious, if we have `{@index "type annotation"}`, does a search for
> `type annotation` in Javadoc search bar still work?
Yes; Javadoc search is fine returning multiple results. They are grouped by
category with search terms like this appearing at the bottom.
-------------
PR Comment: https://git.openjdk.org/jdk/pull/20919#issuecomment-2342023418
