On Tue, 31 Oct 2023 22:31:11 GMT, Nir Lisker <nlis...@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
