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

[Simon Marchi <simark@simark.ca>]

[-- Attachment #1: Type: text/plain, Size: 1016 bytes --]

On 6/11/25 9:58 AM, Tom Tromey wrote:
> In keeping with the emojification of gdb, this patch changes the
> default "current" marker to be a check-mark.  It adds a knob to allow
> the character to be changed, and, as always, reverts to the old output
> when emojis are disabled.
> 
> Reviewed-By: Eli Zaretskii <eliz@gnu.org>

I have not read all the discussions about the choice of the character,
but I just wanted to report that out of the box, this doesn't look very
good for me (the width of a checkmark isn't equal to the width of a
character).  See attached `checkmark.png`.

Are we allowed to nitpick / bikeshed on the choice of character?  My
preference would be for something a bit more subtle, like an arrow that
points to the selected thing.  See `arrow.png`, which uses U+27A4.  I
find it stylish, and at least on my setup, the width is correct.

I also don't think a checkmark is "semantically" appropriate for this
case.  In my mind, it means that something is done or has completed
successfully.

Simon

[-- Attachment #2: arrow.png --]
[-- Type: image/png, Size: 110359 bytes --]

[-- Attachment #3: checkmark.png --]
[-- Type: image/png, Size: 108845 bytes --]