RFR: 8301302: Platform preferences API [v29]

Fri Nov 24 05:22:16 UTC 2023

> 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 incrementally with one additional commit since the last revision:

  Use JLS 5.5.1 casting conversion rules

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

Changes:
  - all: https://git.openjdk.org/jfx/pull/1014/files
  - new: https://git.openjdk.org/jfx/pull/1014/files/a3d00103..17b2b084

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jfx&pr=1014&range=28
 - incr: https://webrevs.openjdk.org/?repo=jfx&pr=1014&range=27-28

  Stats: 127 lines in 2 files changed: 117 ins; 0 del; 10 mod
  Patch: https://git.openjdk.org/jfx/pull/1014.diff
  Fetch: git fetch https://git.openjdk.org/jfx.git pull/1014/head:pull/1014

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