Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Patrice Dumas
On Sat, Nov 12, 2022 at 12:40:11PM +0100, Vincent Lefevre wrote: > > But "down" is the reverse of "up". So, if you know all the "up" > relations, you can deduce all the "down" relations, i.e. all the > children. Then the issue is to sort the children, but I suppose > that this could be done by loo

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Eli Zaretskii
> Date: Sat, 12 Nov 2022 13:28:17 +0100 > From: Vincent Lefevre > Cc: gavinsmith0...@gmail.com, bug-texi...@gnu.org, 989...@bugs.debian.org > > > > 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 th

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Vincent Lefevre
On 2022-11-12 14:00:25 +0200, Eli Zaretskii wrote: > > Date: Sat, 12 Nov 2022 12:40:11 +0100 > > From: Vincent Lefevre > > > > 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 perfe

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Gavin Smith
On Sat, Nov 12, 2022 at 12:40:11PM +0100, Vincent Lefevre wrote: > But "down" is the reverse of "up". So, if you know all the "up" > relations, you can deduce all the "down" relations, i.e. all the > children. Then the issue is to sort the children, but I suppose > that this could be done by lookin

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Eli Zaretskii
> Date: Sat, 12 Nov 2022 12:40:11 +0100 > From: Vincent Lefevre > > > > 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

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Vincent Lefevre
On 2022-11-12 13:30:51 +0200, Eli Zaretskii wrote: > > Date: Sat, 12 Nov 2022 11:56:47 +0100 > > From: Vincent Lefevre > > > > 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. > > Y

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Vincent Lefevre
On 2022-11-12 13:27:59 +0200, Eli Zaretskii wrote: > Because they don't say enough, not when a node has sub-nodes. > Backspace in a node A that has sub-nodes should go to the sub-node of > A which is the _last_ one in the menu in the node A, exactly like SPC > in such a node should go to the _first

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Eli Zaretskii
> Date: Sat, 12 Nov 2022 11:56:47 +0100 > From: Vincent Lefevre > > 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 t

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Gavin Smith
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

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Eli Zaretskii
> Date: Sat, 12 Nov 2022 11:39:41 +0100 > From: Vincent Lefevre > Cc: bug-texi...@gnu.org, 989...@bugs.debian.org > > > * Menu: > > > > * Bugs:: > > > > See that "Bugs" at the end? This is the problem: since "Bugs" is a > > top-level node, its presence in a level-1 node's menu makes the no

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Vincent Lefevre
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? > > Actually the issue is pro

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Vincent Lefevre
On 2022-11-12 09:27:34 +0200, Eli Zaretskii wrote: > Instead of "Bugs", go to "Graphical_User_Interfaces" from the > top-level menu. You will see this: > > 4 Graphical User Interfaces > *** > > Several graphical user interfaces have been written for `gnuplot` and >

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Eli Zaretskii
> Date: Sat, 12 Nov 2022 10:26:39 +0100 > From: Patrice Dumas > Cc: Vincent Lefevre , bug-texi...@gnu.org, > 989...@bugs.debian.org > > On Sat, Nov 12, 2022 at 09:27:34AM +0200, Eli Zaretskii wrote: > > See that "Bugs" at the end? This is the problem: since "Bugs" is a > > top-level node,

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-12 Thread Patrice Dumas
On Sat, Nov 12, 2022 at 09:27:34AM +0200, Eli Zaretskii wrote: > See that "Bugs" at the end? This is the problem: since "Bugs" is a > top-level node, its presence in a level-1 node's menu makes the node > tree not really a tree, so Backspace loops. > > Thus, the problem is in the way Gnuplot prod

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-11 Thread Eli Zaretskii
> Date: Sat, 12 Nov 2022 00:17:34 +0100 > From: Vincent Lefevre > Cc: 989...@bugs.debian.org > > [Cc to the Debian bug 989029, which I reported last year: > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989029 > > I'm now reporting it upstream since it still occurs with "info" > from Te

Bug#989029: info: prev-line and scroll-backward are buggy on gnuplot.info

2022-11-11 Thread Vincent Lefevre
[Cc to the Debian bug 989029, which I reported last year: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=989029 I'm now reporting it upstream since it still occurs with "info" from Texinfo 7.0.] The info manual says: ('scroll-backward') Shift the text in this window down. The inver

Bug#989029: info: prev-line and scroll-backward are buggy

2022-01-18 Thread Vincent Lefevre
Control: retitle -1 info: prev-line and scroll-backward are buggy Control: found -1 6.8-4 Hi, On 2022-01-18 08:16:53 +0100, Hilmar Preuße wrote: > Am 24.05.2021 um 01:36 teilte Vincent Lefevre mit: > > Hi, > > > The info manual says: > > > > ('scroll-backward') > > > > Shift the text i