Greek characters in java.lang.String

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Greek characters in java.lang.String

Jonathan Gibbons
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

Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Greek characters in java.lang.String

Naoto Sato-2
+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
>
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: Greek characters in java.lang.String

roger riggs
+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 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
>>

Loading...