On Mon, 3 Mar 2025 17:14:07 GMT, Chen Liang <li...@openjdk.org> wrote:
>> Hannes Wallnöfer has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> Rename label property as it has special meaning to jquery-ui
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/IndexItem.java
> line 127:
>
>> 125: * {@return the kind of index item for a program element}
>> 126: */
>> 127: public static Kind ofElement (Element elem, Utils utils) {
>
> Suggestion:
>
> public static Kind ofElement(Element elem, Utils utils) {
Thanks, @liach! I pushed the changes you suggested along with two small fixes.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/23666#discussion_r1978124216
