RFR: 8301302: Platform preferences API [v11]

[Michael Strauß]

On Wed, 6 Sep 2023 19:34:05 GMT, Andy Goryachev <angorya at openjdk.org> wrote:

>> Michael Strauß has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fire only a single invalidation event
>
> tests/manual/events/PlatformPreferencesTest.java line 46:
> 
>> 44: import java.util.stream.Collectors;
>> 45: 
>> 46: public class PlatformPreferencesTest extends Application {
> 
> Could we rename this class?  We already have PlatformPreferencesTest somewhere.
> PlatformPreferencesTestApp might be good.

I've renamed it to `PlatformPreferencesChangedTest` to keep the naming convention of the surrounding files.

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

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