RFR: 8301302: Platform preferences API [v5]

[Michael Strauß]

On Tue, 5 Sep 2023 21:37:38 GMT, Andy Goryachev <angorya at openjdk.org> wrote:

>> Michael Strauß has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Removed application preferences implementation
>
> modules/javafx.graphics/src/main/java/javafx/application/Platform.java line 468:
> 
>> 466:      * The following list contains all preferences that are potentially available on the specified platforms:
>> 467:      *
>> 468:      * <table>
> 
> we might want to add an anchor somewhere here, to be able to create a link in Platform.getPreferences(), similar to what String.format() -> Formatter#syntax does:
> 
> 
> <h3><a id="syntax">Format String Syntax</a></h3>

I've added a `@see` tag to the `Platform.getPreferences()` method, which links to the table in the class documentation of `Platform.Preferences`.

-------------

PR Review Comment: https://git.openjdk.org/jfx/pull/1014#discussion_r1316523643