Greek characters in java.lang.String
Roger.Riggs at Oracle.com
Wed Aug 9 21:23:02 UTC 2017
I conjecture that originally, the fonts didn't consistently include Greek.
On 8/9/2017 5:12 PM, Naoto Sato wrote:
> 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.
>> Has the time come to replace those characters with their Unicode
>> equivalents, expressed with suitable HTML entities?
>> -- Jon
More information about the core-libs-dev