On Mon, 27 Nov 2023 19:52:25 GMT, Michael Strauß <mstra...@openjdk.org> wrote:

> could benefit from a bit of optimization.

good point, thanks!

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

PR Comment: https://git.openjdk.org/jfx/pull/1296#issuecomment-1828500547

Reply via email to