Re: Enclosing text in a box

[Yuri Khan]

On Wed, 16 Nov 2022 at 20:59, Eli Zaretskii <eliz@gnu.org> wrote:

> Using 'length' to measure the width of text on display is not
> reliable, because there are characters of different width.  It is
> better to use 'string-width' or 'string-pixel-width' instead.

The next stumbling point is going to be “make-string does the wrong
thing when passed 17.237 as the count”, without an explanation as to
what the right thing would be. (I don’t know either.)