On Thu, 11 Aug 2022 22:12:09 GMT, Andy Goryachev <ango...@openjdk.org> wrote:
>>> On a side note, we could have used Unicode here >>> >>> private static final double ε = .0000001; >> >> But let's not. > > you are right, we should not use non-ascii identifiers. > it was a joke, sorry. > So, plugging a 100 columns of 200 px wide we get something to the order of > 1e-12 .. 1e-11. Thanks for the explaination and links. The remaining question is: Should we then use a smaller epsilon value or does it not matter at all? ------------- PR: https://git.openjdk.org/jfx/pull/848
