+1,
I conjecture that originally, the fonts didn't consistently include Greek.
Roger
On 8/9/2017 5:12 PM, Naoto Sato wrote:
+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 present
+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
