On Fri, 29 Oct 2021 05:56:06 GMT, Phil Race <[email protected]> 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
