RFR: 8301302: Platform preferences API [v26]

[Michael Strauß]

On Sat, 18 Nov 2023 15:22:10 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> The latest API changes looks good. If you update the CSR, I'll formally review it.
> 
> In parallel, I'll finish my review and testing of the implementation.

I've updated the CSR.

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

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