[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: |
Eli Zaretskii |
Subject: |
Re: info: prev-line and scroll-backward are buggy on gnuplot.info |
Date: |
Sat, 12 Nov 2022 14:00:25 +0200 |
> Date: Sat, 12 Nov 2022 12:40:11 +0100
> From: Vincent Lefevre <vincent@vinc17.net>
>
> > > Oops, I misread the file. I actually think that it is correct.
> > > IMHO, to get the tree structure, you should not follow the menu,
> > > but only the "File:" lines.
> >
> > You can't: SPC and DEL are supposed to traverse the tree, not just the
> > current level of the tree. SPC does depth-first search, and DEL does
> > its opposite. The File: lines only tell us the nodes that are to the
> > left, to the right, and up, but not down.
>
> But "down" is the reverse of "up".
No, it isn't. It is only the reverse of "up" if the node structure is
a perfect tree. But Texinfo doesn't require such a structure, and in
fact info.info is a notable example of a valid Info file whose node
structure is not a tree (and for a good reason).
- 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, 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 <=
- 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