On Tue, 3 May 2022 22:06:29 GMT, Pavel Rappo <[email protected]> wrote:
>> Jonathan Gibbons has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> address review feedback
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Checker.java line
> 217:
>
>> 215: hasNonWhitespaceText = false;
>> 216:
>> 217: implicitHeadingRank = switch (p.getLeaf().getKind()) {
>
> (observation) Since _rank_ is a rather unusual word to see, I explored this a
> bit. Numerals in H1, H2, H3, H4, H5, and H6 were somewhat implicitly referred
> to as _heading levels_ by HTML4, and indeed became referred to as _ranks_ in
> HTML5.
yes, that is where I found the term.
-------------
PR: https://git.openjdk.java.net/jdk/pull/8460
