On Thu, 11 May 2023 11:38:14 GMT, Pedro Duque Vieira <d...@openjdk.org> wrote:
>> 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... @dukke I don't think there's a central place for all JavaFX discussions. I've observed that high-level discussions seem to happen on the mailing list, while discussions of concrete implementation proposals often happen on GitHub. You didn't get any notifications on the mailing list for this PR since it's still in the Draft state. That being said, this proposal seems to be stuck in the "do we want this in JavaFX?" stage. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1014#issuecomment-1544107419
