RFR: 8301302: Platform preferences API [v3]

[Michael Strauß]

On Wed, 3 May 2023 06:23:48 GMT, airsquared <duke at openjdk.org> wrote:

> Since this is mainly for if a user wants to adjust the preferences used in a style theme, would it make sense to provide this feature for overriding preferences in the style theme API? This could also give the user the option to override preferences only for a specific style theme instead of globally for all style themes. Moving the overriding preferences feature into the style theme API could also open the door for style theme authors to allow customization of other parts of a style theme.

Style themes are not the only place where platform preferences might be used. For example, macOS has an OS setting that controls whether clicking on a scrollbar moves the content page by page, or directly to the clicked spot. Skins could use those kinds of non-visual preferences in the future.

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

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