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

[Jan Lahoda]

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"

This pull request has now been integrated.

Changeset: 49558352
Author:    Jan Lahoda <jlahoda at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/495583524976fb63575b9a45f329e535e490dc80
Stats:     55 lines in 2 files changed: 36 ins; 0 del; 19 mod

8282434: Leading combining diacritic character in string renders incorrectly

Reviewed-by: vromero

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

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