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

Tom Tromey
2025-06-24T16:59:22Z

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

Pedro> To indicate the selected entry from a list, I think a right
Pedro> arrow, or "👉" (Backhand Index Pointing Right, U+1F449) would
Pedro> make a lot more sense.

I tried that one just now and at least on my terminal it is wider.
See the attached screenshot.

Now, we could make "current" take 2 columns. That might be enough to
solve this in general. But then a bit of space is wasted in the ASCII /
narrow case.

Tom

[-- Attachment #2: screenshot --]
[-- Type: image/png, Size: 18904 bytes --]