Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.bugs.dist > #1130606
| 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 |
[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
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