On Mon, 27 Nov 2023 19:52:25 GMT, Michael Strauß <mstrauss at openjdk.org> wrote: > could benefit from a bit of optimization. good point, thanks! ------------- PR Comment: https://git.openjdk.org/jfx/pull/1296#issuecomment-1828500547