On Tue, 9 Jan 2024 20:06:10 GMT, Roger Riggs <rri...@openjdk.org> wrote:
>> src/java.base/share/classes/java/lang/System.java line 819:
>>
>>> 817: * <p>
>>> 818: * Additional locale-related system properties defined by the
>>> 819: * {@link Locale##default_locale Default Locale} section in the
>>> {@code Locale}
>>
>> Is that "##" a typo? double pound signs usually leads to the top of the
>> page. I see PR 17065 also had "##" for links to default_locale.
>
> The "##" refers to a normal html tag or id in the target page. A single "#"
> refers to a javadoc defined method or field.
Thanks, Joe. As Roger mentioned, the `##` can be used for user-defined anchors
since JDK20 ( https://bugs.openjdk.org/browse/JDK-8294195)
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/17317#discussion_r1446723242
