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