Re: [PATCH 2/2] Allow check-mark to be changed for CLI

Eli Zaretskii
2025-05-10T06:33:30Z

> From: Tom Tromey <tromey@adacore.com>
> Date: Fri, 09 May 2025 14:18:51 -0600
> Cc: Tom Tromey <tromey@adacore.com>
>
> +/* Emoji check-mark. */
> +static std::string check_mark = "✓";

Btw, if this is related to emoji display, shouldn't the default be
U+2713 followed by U+FE0F VARIATION SELECTOR-16, to show the "emoji
presentation" of the CHECK MARK character, if the terminal supports
that? Or do too few terminals have such support?