On Wed, Sep 06, 2023 at 02:53:35PM +0300, Eli Zaretskii wrote:
> > From: Gavin Smith
> > Date: Wed, 6 Sep 2023 02:51:47 +0100
> >
> > On Tue, Sep 05, 2023 at 09:16:47PM +0200, Patrice Dumas wrote:
> > > I think I understand what you don't understand, actually this is not
> > > about displaying th
> From: Gavin Smith
> Date: Wed, 6 Sep 2023 02:51:47 +0100
>
> On Tue, Sep 05, 2023 at 09:16:47PM +0200, Patrice Dumas wrote:
> > I think I understand what you don't understand, actually this is not
> > about displaying the characters, which is not really done by texi2any,
> > it is about situati
On Tue, Sep 05, 2023 at 09:16:47PM +0200, Patrice Dumas wrote:
> I think I understand what you don't understand, actually this is not
> about displaying the characters, which is not really done by texi2any,
> it is about situations where we need to count the width of characters
> in texi2any. For
On Tue, Sep 05, 2023 at 10:46:25PM +0300, Eli Zaretskii wrote:
> > Date: Tue, 5 Sep 2023 21:16:47 +0200
> > From: Patrice Dumas
> > Cc: bug-texinfo@gnu.org
> >
> > I think I understand what you don't understand, actually this is not
> > about displaying the characters, which is not really done by
> Date: Tue, 5 Sep 2023 21:16:47 +0200
> From: Patrice Dumas
> Cc: bug-texinfo@gnu.org
>
> I think I understand what you don't understand, actually this is not
> about displaying the characters, which is not really done by texi2any,
> it is about situations where we need to count the width of cha
On Tue, Sep 05, 2023 at 10:06:13PM +0300, Eli Zaretskii wrote:
> > Date: Tue, 5 Sep 2023 20:19:40 +0200
> > From: Patrice Dumas
> > Cc: bug-texinfo@gnu.org
> >
> > On Tue, Sep 05, 2023 at 09:09:18PM +0300, Eli Zaretskii wrote:
> > > > Date: Tue, 5 Sep 2023 20:01:53 +0200
> > > > From: Patrice Dum
> Date: Tue, 5 Sep 2023 20:19:40 +0200
> From: Patrice Dumas
> Cc: bug-texinfo@gnu.org
>
> On Tue, Sep 05, 2023 at 09:09:18PM +0300, Eli Zaretskii wrote:
> > > Date: Tue, 5 Sep 2023 20:01:53 +0200
> > > From: Patrice Dumas
> > >
> > > Currently, when counting the width of a line of character, w
On Tue, Sep 05, 2023 at 09:09:18PM +0300, Eli Zaretskii wrote:
> > Date: Tue, 5 Sep 2023 20:01:53 +0200
> > From: Patrice Dumas
> >
> > Currently, when counting the width of a line of character, we count
> > control characters that are also spaces as having a width of 1. I think
> > that it is n
> Date: Tue, 5 Sep 2023 20:01:53 +0200
> From: Patrice Dumas
>
> Currently, when counting the width of a line of character, we count
> control characters that are also spaces as having a width of 1. I think
> that it is not good, as control characters either should not have a
> width, for end of
Hello,
Currently, when counting the width of a line of character, we count
control characters that are also spaces as having a width of 1. I think
that it is not good, as control characters either should not have a
width, for end of line, form feed, carriage return, or have a width that
is not we
10 matches
Mail list logo