[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info: prev-line and scroll-backward are buggy on gnuplot.info
From: |
Gavin Smith |
Subject: |
Re: info: prev-line and scroll-backward are buggy on gnuplot.info |
Date: |
Sat, 12 Nov 2022 11:30:03 +0000 |
On Sat, Nov 12, 2022 at 11:56:47AM +0100, Vincent Lefevre wrote:
> On 2022-11-12 11:39:41 +0100, Vincent Lefevre wrote:
> > You mean that the menus can affect the structure of the document?
> > This seems a bad and unnecessary idea. Why not just considering
> > the "File:" lines of the info manual to deduce the structure of
> > the document?
You have to give more detail of an alternative algorithm rather than
saying, "just consider the File: lines". (The word "just" implies
that what you are asking someone to do is easy and simple, which it
may not be.)
> So the predecessor of
>
> File: gnuplot.info, Node: Bugs, Next: Concept_Index, Prev: Terminal_types,
> Up: Top
>
> should be the last descendent of Terminal_types, which is
> complete_list_of_terminals.
You only get the relation "last descendant" by looking at the menus.
And according to the menu of complete_list_of_terminals, Bugs is a
decendant of complete_list_of_terminals.
As described in backward_move_node_structure in info/session.c,
the process followed is:
/* Otherwise, go to 'Prev' node and go down the last entry
in the menus as far as possible. */
which is exactly what has happened here.
- info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/11
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Patrice Dumas, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info,
Gavin Smith <=
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Gavin Smith, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Patrice Dumas, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12