On Thu, 2 Feb 2023 19:54:33 GMT, Michael Strauß <mstra...@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
