On Mon, 25 Jul 2022 15:10:36 GMT, Hannes Wallnöfer <[email protected]> wrote:
> This is a simple change to automatically generate `id` attributes for HTML > headers in documentation comments. > > I decided to leave the functionality in `HtmlDocletWriter` rather than moving > it to `HtmlIds` because it uses the same helper methods > as`commentTagsToContent`. > > The value of the `id` attribute id derived from the content of the header tag > with spaces and other non-word characters replaced by `-`. A `-hdr` suffix is > appended to avoid collisions with other ids. If there are duplicate values an > int counter is appended to make them unique. This pull request has now been integrated. Changeset: 8b4e6ba0 Author: Hannes Wallnöfer <[email protected]> URL: https://git.openjdk.org/jdk/commit/8b4e6ba01ffef77d5f1b9a9aa3e978f4da431836 Stats: 201 lines in 5 files changed: 190 ins; 6 del; 5 mod 8289332: Auto-generate ids for user-defined headings Reviewed-by: jjg ------------- PR: https://git.openjdk.org/jdk/pull/9627
