On Wed, 14 May 2025 15:11:24 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> Non-breaking space characters are problematic. They look identical to the > normal space character, but is not. For that reason, it should never be typed > as an UTF-8 literal, but only by using unicode sequences. > > I have checked: > * U+00A0 NO-BREAK SPACE (NBSP) > * U+202F NARROW NO-BREAK SPACE (NNBSP) > * U+2007 FIGURE SPACE > * U+2060 WORD JOINER > > In some places, these character were used when an ordinary space should have > been used. I replaced those with normal space. In other places, they were > correct, but as literals instead of unicode sequences. I replaced those > instances with sequences. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/25234
