On Sun, 29 Jan 2023 01:33:48 GMT, Michael Strauß <mstra...@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ß <mstra...@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