On Mon, 10 May 2021 19:57:41 GMT, Pavel Rappo wrote:
>> Please review a change for JavaDoc, for the Standard Doclet to copy legal
>> header files into the generated docs from a default or designated directory.
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlDoclet
This changes the parameter type for the tab label from `String` to `Content` in
the `formats.html.Table` `addTab` and `setDefaultTab` methods. The change is
straightforward because the tab name was converted to `Content` anyway, and all
resources are readily available in `Content` form.
I brie
On Mon, 10 May 2021 13:44:50 GMT, Hannes Wallnöfer wrote:
> Trivial change to fix value of `for` attribute in javadoc search label.
This pull request has now been integrated.
Changeset: 97367c01
Author:Hannes Wallnöfer
URL:
https://git.openjdk.java.net/jdk/commit/97367c01c13261ccf9b
