On Wed, 3 May 2023 21:15:11 GMT, Andy Goryachev <angorya at openjdk.org> wrote: > that's what I thought too. just to clarify, that was a question, not a change request. no problem, I asked myself the same. 😄 ------------- PR Comment: https://git.openjdk.org/jfx/pull/1125#issuecomment-1533762671