Re: footer navigation headers

[Per Bothner]

On 2/19/21 4:31 PM, Patrice Dumas wrote:
> > (2) _default_format_element_footer is emitted at the end of each page.
> > It emits navigation buttons.  It is actually called in _convert_heading_command
> > at the top of the page, which is why WORDS_IN_PAGE is ignored, but that
> > could be changed with some more complicated logic.
>
> I must be missing something, as I can't see how it could work to output
> the footer at the top of the page?

My patch *generates* the text of the footer while processing the top of the page
(in _convert_heading_command).  It then uses register_opened_section_level to
stash that generated text in the pending_closes stack.  That saved text then 
gets
printed at the bottom of the page.

It works, but if you want to conditionalize whether the footer is printed
depending on WORDS_IN_PAGE you have to do something more complicated.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/