On Sat, 30 Oct 2021 14:48:14 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
> > If we want to be really safe we can replace a + by - or something else, but > > not sure if really needed. > > I had the same thought as a possibility, but I'm also not sure it is needed. > @johanvos what do you think? I don't think it's needed. Either there is a potential issue with a "+" or there is not. If there is not an issue, then it is only confusing to replace the "+" with another character. Hence, I am +1 on the PR as it is now. ------------- PR: https://git.openjdk.java.net/jfx/pull/654
