On Sun, Nov 03, 2019 at 10:17:05AM +0100, Patrice Dumas wrote: > I attach an example that generates such a list right after the heading. > Something that looks strange is that the node names are used in the > navigation header, while the sections names are used in the list of > subordinate sections/nodes.
I'm trying to work on changing the navigation header, but finding it hard to understand the code. I think I need to make _element_direction return the text of the section name rather than the text of the node name. (_element_direction is called from _default_node_direction.) I found there were directions "Up", "Next" and "Prev" corresponding to "section_up", "section_next" and "section_prev" in Texinfo::Structuring, but these appear to refer to the same elements as "node_up", etc.
