On Sat, 3 Dec 2022 22:17:55 GMT, John Hendrikx <jhendr...@openjdk.org> wrote:
> This includes a fix for the precision problem we've found as part of the > graphics warnings clean ups. > > I've included two commits, one with just the minimal fix, and one with the > clean ups. I can drop off the 2nd commit if it is deemed to be of no added > value. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jfx/pull/966