+1 Naoto
On 8/9/17 1:54 PM, Jonathan Gibbons wrote:
The method String.toLowerCase(Locale) contains some Greek letters in its doc comment. But the characters are presented with images, instead of native Unicode characters.See http://download.java.net/java/jdk9/docs/api/java/lang/String.html#toLowerCase-java.util.Locale-Has the time come to replace those characters with their Unicode equivalents, expressed with suitable HTML entities?-- Jon
