Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.bugs.dist > #1130606

Bug#989029: info: scroll-backward is buggy

From Vincent Lefevre <vincent@vinc17.net>
Newsgroups linux.debian.bugs.dist
Subject Bug#989029: info: scroll-backward is buggy
Date 2022-12-29 02:50 +0100
Message-ID <FHQdr-dZBI-1@gated-at.bofh.it> (permalink)
References (4 earlier) <FuBYB-5xtA-11@gated-at.bofh.it> <FuChX-5xP8-7@gated-at.bofh.it> <FHOuZ-dYtm-13@gated-at.bofh.it> <Ci5Rn-1Jc-1@gated-at.bofh.it> <FHOuZ-dYtm-13@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


[Multipart message — attachments visible in raw view] - view raw

Control: retitle -1 gnuplot-doc: spurious menu at the end of Section 4 of gnuplot.info breaks navigation in info
Control: notforwarded -1

The forward was for the missing terminal types. I have not reported
this second bug upstream yet.

On 2022-12-29 00:51:19 +0100, Vincent Lefevre wrote:
[...]
> This solves the inclusion of the terminal types, but unfortunately,
> the buggy menu is a separate problem. In the gnuplot.info.gz file
> with the patch:
> 
> [...]
> 4.1.54 xlib
> -----------
> The 'xlib' terminal driver supports the X11 Windows System.  It
> generates gnuplot_x11 commands, but sends them to the output file
> specified by 'set output '<filename>''.  'set term x11' is equivalent to
> 'set output "|gnuplot_x11 -noevents"; set term xlib'.  'xlib' takes the
> same set of options as 'x11'."
> * Menu:
> * Bugs::
> File: gnuplot.info,  Node: Bugs,  Next: Concept_Index,  Prev: Terminal_types,  Up: Top
> 5 Bugs
> ******
> [...]
> 
> i.e. the menu is still there, so that going backward from Section 5
> goes to Section 5.2 instead of 4.1.54.

I've attached a patch for this issue: this incorrect menu is added
by 3 lines in doc2texi.el, with the comment

  ; `texinfo-all-menus-update' seems
  ; to miss this one.  how odd.

Perhaps this was added as a workaround to an old bug. With my
patch that removes these 3 lines, the navigation is now correct
(going backward from Section 5 "Bugs" sends to the end of
Section 4 as expected), and I cannot see any new issue.

-- 
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)

Back to linux.debian.bugs.dist | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

Bug#989029: info: scroll-backward is buggy Vincent Lefevre <vincent@vinc17.net> - 2022-12-29 01:00 +0100
  Bug#989029: info: scroll-backward is buggy Vincent Lefevre <vincent@vinc17.net> - 2022-12-29 02:50 +0100
    Bug#989029: info: scroll-backward is buggy Vincent Lefevre <vincent@vinc17.net> - 2022-12-29 03:40 +0100

csiph-web