RFR: 8301302: Platform preferences API [v10]

[Andy Goryachev]

On Wed, 6 Sep 2023 18:14:02 GMT, Michael Strauß <mstrauss at openjdk.org> wrote:

>> Please read [this document](https://gist.github.com/mstr2/9f46f92c98d3c86aa6a0b4224a9a6548) for an introduction to the Platform Preferences API, and how it interacts with the proposed style theme and stage appearance features.
>
> Michael Strauß has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains 18 additional commits since the last revision:
> 
>  - Merge branch 'master' into feature/platform-preferences
>  - Format arrays in test application
>  - Suppress empty change message in test application
>  - Update Eclipse .classpath file
>  - improve javadoc
>  - Added javadoc link to list of platform preferences
>  - Revert Application changes
>  - Addressed review comments
>  - Removed application preferences implementation
>  - Added test
>  - ... and 8 more: https://git.openjdk.org/jfx/compare/11651aea...2837e33c

Another question, certainly out of scope for this PR.
In Windows, we have display orientation and Scale settings.  Changing those result in change updates sent via Screen.getScreens(), but Screen, while having DPI and scale fields, lacks orientation. 

Does it make sense to use this app Preferences API for screen orientation, or should we enhance Screen?

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

PR Comment: https://git.openjdk.org/jfx/pull/1014#issuecomment-1708930418