[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Enclosing text in a box
From: |
Heime |
Subject: |
Re: Enclosing text in a box |
Date: |
Wed, 16 Nov 2022 16:53:27 +0000 |
------- Original Message -------
On Wednesday, November 16th, 2022 at 4:48 PM, Heime
<heimeborgia@protonmail.com> wrote:
> ------- Original Message -------
> On Wednesday, November 16th, 2022 at 4:44 PM, Eli Zaretskii eliz@gnu.org
> wrote:
>
>
>
> > > Date: Wed, 16 Nov 2022 14:51:24 +0000
> > > From: Heime heimeborgia@protonmail.com
> > > Cc: help-gnu-emacs@gnu.org
> > >
> > > > > 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.)
> > > >
> > > > Why would sane code call make-string with such an argument?
> > >
> > > The premise seems to be that "string-width" returns it.
> >
> > Obviously, sane code should round the value up, not use it literally.
> >
> > > I would like to have the ability to pass unicode characters.
> >
> > This has nothing to do with Unicode.
>
>
> I do not know whether the unicode characters pose a problem with fractional
> sizes.
Would the problem only occur with "non alphanumeric" text?
- Enclosing text in a box, Heime, 2022/11/16
- Re: Enclosing text in a box, Heime, 2022/11/16
- Re: Enclosing text in a box, Alexis Roda, 2022/11/16
- Re: Enclosing text in a box, Eli Zaretskii, 2022/11/16
- Re: Enclosing text in a box, Yuri Khan, 2022/11/16
- Re: Enclosing text in a box, Heime, 2022/11/16
- Re: Enclosing text in a box, Eli Zaretskii, 2022/11/16
- Re: Enclosing text in a box, Heime, 2022/11/16
- Re: Enclosing text in a box, Eli Zaretskii, 2022/11/16
- Re: Enclosing text in a box, Heime, 2022/11/16
- Re: Enclosing text in a box,
Heime <=
- Re: Enclosing text in a box, Eli Zaretskii, 2022/11/16
- Re: Enclosing text in a box, Heime, 2022/11/16
- Re: Enclosing text in a box, Eli Zaretskii, 2022/11/16
- Re: Enclosing text in a box, Emanuel Berg, 2022/11/18
- Re: Enclosing text in a box, Eli Zaretskii, 2022/11/18
- Re: Enclosing text in a box, tomas, 2022/11/18
- Re: Enclosing text in a box, Emanuel Berg, 2022/11/20
- Re: Enclosing text in a box, Emanuel Berg, 2022/11/18
- Re: Enclosing text in a box, Emanuel Berg, 2022/11/16
- Re: Enclosing text in a box, Heime, 2022/11/16