[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: |
Vincent Lefevre |
Subject: |
Re: info: prev-line and scroll-backward are buggy on gnuplot.info |
Date: |
Sat, 12 Nov 2022 13:28:17 +0100 |
User-agent: |
Mutt/2.2.8+49 (040ba998) vl-149028 (2022-11-07) |
On 2022-11-12 14:00:25 +0200, Eli Zaretskii wrote:
> > Date: Sat, 12 Nov 2022 12:40:11 +0100
> > From: Vincent Lefevre <vincent@vinc17.net>
> >
> > 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 if the node structure is not a perfect tree, prev-line is
not well-defined. Or perhaps it could just be defined as the
reverse of next-line. That would be an alternative solution.
For instance, on the gnuplot manual, next-line gives successively
[...]
4 Terminal types
4.1 complete list of terminals
5 Bugs
[...]
So prev-line at the beginning of "5 Bugs" should lead to the end
of "4.1 complete list of terminals". Then the whole information
can be obtained by sorting the nodes using next-line.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
- 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, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info,
Vincent Lefevre <=
- 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