RFR: 8301302: Platform preferences API [v3]

[airsquared]

On Tue, 2 May 2023 12:31:20 GMT, Michael Strauß <mstrauss at openjdk.org> wrote:

> But what do you do when a style theme uses platform preferences to adjust its appearance (light/dark mode), but an application either doesn't want to offer a dark mode, or wants the _application_ (not the OS) be able to toggle light/dark appearance? If an application can't override the preferences that go into a style theme, then it can't control its appearance.

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.

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

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