RFR: 8301302: Platform preferences API [v18]

[Michael Strauß]

On Tue, 31 Oct 2023 22:31:11 GMT, Nir Lisker <nlisker at openjdk.org> wrote:

>> Michael Strauß has updated the pull request incrementally with two additional commits since the last revision:
>> 
>>  - formatting
>>  - Javadoc change
>
> modules/javafx.graphics/src/main/java/javafx/application/Platform.java line 459:
> 
>> 457:      * Contains UI preferences of the current platform.
>> 458:      * <p>
>> 459:      * {@code Preferences} extends {@link ObservableMap} to expose platform preferences as key-value pairs.
> 
> I would mentioned here (like in `getPreferences`) that this map is unmodifiable to the user, and that changes by the underlying platform can be tracked by listening on this map.

Done.

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

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