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

Tom Tromey
2025-05-16T14:19:12Z

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

>> 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 = "✓";

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

I tried this but this combination doesn't seem to change the display.

There are some "true" emoji check marks (like a heavy one with a
surrounding box or something) but I thought they looked strange in this
context.

Tom