On Fri, 5 May 2023 17:59:25 GMT, Alexey Ivanov <[email protected]> wrote:
>> Prasanta Sadhukhan has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> More Attrbutes added
>
> src/java.desktop/share/classes/javax/swing/text/html/CSS.java line 2897:
>
>> 2895: @Override
>> 2896: public int hashCode() {
>> 2897: return Float.hashCode(horizontalPosition);
>
> For better hashing, `verticalPosition` should also be taken into account.
ok
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/13405#discussion_r1188199148
