Thanks. And, wow! I'll investigate.
-- Jon
On 5/14/18 8:41 AM, Martin Desruisseaux wrote:
Hello Jonathan
Le 14/05/2018 à 16:58, Jonathan Gibbons a écrit :
Can you give a specific example of a comment containing {@code} that
illustrates the issue, showing the exact representation of the
Unicode character?
Attached is an example reproducing the issue. The Java source file
uses UTF-8 encoding. Steps to reproduce (assuming UTF-8 is the system
default encoding):
javac Code.java
javadoc -charset UTF-8 Code.java
Then open the Code.html generated file. The page shows:
Hello World(\u2026).
while the expected result is:
Hello World(…).
The same test with Java 8 shows the expected results.
Regards,
Martin