On Fri, 29 Oct 2021 05:56:06 GMT, Phil Race <p...@openjdk.org> wrote:
> I pointed that out earlier .. even before you raised the cursor size issue. Missed that, and still cannot find it by searching the discussion above, I probably need to rest ------------- PR: https://git.openjdk.java.net/jdk/pull/6140
