Integrated: 8301302: Platform preferences API

[Michael Strauß]

On Sun, 29 Jan 2023 01:33:48 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.

This pull request has now been integrated.

Changeset: 170a4c15
Author:    Michael Strauß <mstrauss at openjdk.org>
URL:       https://git.openjdk.org/jfx/commit/170a4c1545696b095960c0e5dcbed1374d3f6ba6
Stats:     3432 lines in 35 files changed: 3287 ins; 108 del; 37 mod

8301302: Platform preferences API

Reviewed-by: kcr, angorya, jpereda

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

PR: https://git.openjdk.org/jfx/pull/1014