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 08:57:06PM +0200, Patrice Dumas wrote:
> Hello,
>
> With @nodedescription used, there are no menus anymore in HTML output
> even with FORMAT_MENU=menu. What about generating automatically a menu
> if there is no menu, and there are automatic directions (no explict node
> d
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
Hello,
With @nodedescription used, there are no menus anymore in HTML output
even with FORMAT_MENU=menu. What about generating automatically a menu
if there is no menu, and there are automatic directions (no explict node
directions and association with a sectioning command) in HTML, as is
done in
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
On Tue, 2023-09-05 at 10:27 +0200, Patrice Dumas wrote:
> On Mon, Sep 04, 2023 at 10:00:42PM +0200, Jonas Hahnfeld wrote:
> > As I write above, label_target_name is already called for external
> > references (via _normalized_label_id_file). So all we would need is
> > something like node_file_name
On Mon, Sep 04, 2023 at 10:00:42PM +0200, Jonas Hahnfeld wrote:
> As I write above, label_target_name is already called for external
> references (via _normalized_label_id_file). So all we would need is
> something like node_file_name for external nodes (or just use the same
> function) and a hook
12 matches
Mail list logo
