RFR: JDK-8282434: Leading combining diacritic character in string renders incorrectly

[Vicente Romero]

On Mon, 18 Jul 2022 14:34:57 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

> There's a group of characters, that add diacritics to the preceding character. JShell wraps String values into double quotes, and so when such a combining character is the first character of a string, there is a double quote followed by the diacritics. On some terminals, it may print the diacritics merged with the double quote.
> 
> Sadly, the behavior seems to differ much between terminals, so the proposal here is to use Unicode escape sequences for these characters when they would immediately follow the opening double quote. Sample output:
> $1 ==> "\u032Ea"

looks sensible

-------------

Marked as reviewed by vromero (Reviewer).

PR: https://git.openjdk.org/jdk/pull/9540