RFR: 8301302: Platform preferences API [v3]

[Pedro Duque Vieira]

On Thu, 2 Feb 2023 19:54:33 GMT, Michael Strauß <mstrauss at openjdk.org> wrote:

>> Please read [this document](https://gist.github.com/mstr2/9f46f92c98d3c86aa6a0b4224a9a6548) for an introduction to the Platform Preferences API, and how it interacts with the proposed style theme and stage appearance features.
>
> Michael Strauß has updated the pull request with a new target base due to a merge or a rebase.

Hi all,

First of all, thanks for the efforts to integrate this new API into JavaFX. As a style theme developer myself I think this API is missing nowadays and will be a good addition to the SDK!

A comment not related to this specific PR but... the discussion about this new API was being held on the mailing list some time ago, I was also involved in that discussion. It stopped so I thought this wasn't going to go forward. I've only recently realized the discussion moved to here. So, my comment is: is there a centralized place to check on all the new developments in the javafx platform including ongoing efforts (I thought the mailing list was that place) ...?
For instance, I was having a small discussion on Twitter with a prominent member of the JavaFX community about how having this kind of API would be of interest to JavaFX. I don't think anyone involved knows that this PR (that would add such a feature) is ongoing... they might also have interesting insights to add...

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

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