On Thu, 11 Jul 2024 14:43:08 GMT, Chen Liang <[email protected]> wrote:
>> Pavel Rappo has refreshed the contents of this pull request, and previous
>> commits have been removed. The incremental views will show differences
>> compared to the previous content of the PR. The pull request contains two
>> new commits since the last revision:
>>
>> - Remove extra hyphen as suggested
>> - Initial commit
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlIds.java
> line 619:
>
>> 617: } else {
>> 618: // utmost unexpected, but this case shouldn't fail
>> 619: id += "unknown-element-";
>
> Feels weird that unknown element has a `-` between name and count but the
> others don't.
Sorry, I initially pushed an outdated commit. This is a rare situation where a
force push is warranted. Also, fixed.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/20136#discussion_r1674179141
