On Wed, 3 May 2023 06:23:48 GMT, airsquared <d...@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
