On Thu, 9 Jan 2025 19:03:00 GMT, Michael Strauß <[email protected]> wrote:

> Maybe we should pick 1 now and consider 4 as a possible future enhancement?

I think this is worth considering.

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

PR Comment: https://git.openjdk.org/jfx/pull/1652#issuecomment-2581060316

Reply via email to