RFR: 8301302: Platform preferences API [v13]

[Michael Strauß]

On Wed, 6 Sep 2023 21:52:22 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> I left a few comments on the API docs.
> 
> I tested this on Ubuntu 16.04 Linux (yes, I know it's old). It doesn't pick up a change to the theme, but only reports the new value the next time I run the program.
> 
> The serious issue is that it crashes on exit running any JavaFX program. It hangs trying to write the hs_err file, so all I have is this console error:
> ...


I've changed the Javadoc comments.

The crash is a bit strange, doesn't happen for me on Ubuntu 20.04. There are a few modifications on the native side in the latest commit, could you test again? If the crash persists, I need to install a Ubuntu 16.04 machine to see what's going on.

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

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