Re: footer navigation headers

[Per Bothner]

On 2/14/21 3:31 PM, Gavin Smith wrote:
> I'll look at your patch, and we'll have to think about how to
> accommodate this within the user configuration.

Note it's a proof-of-concept patch.  I only tested with 
SECTION_FOOTER_BUTTONS=0.
I'm pretty sure it would also need changes to _default_format_element_footer
to remove the code that handles SECTION_FOOTER_BUTTONS=1.
On the other hand, _convert_heading_command should only emit the header
if SECTION_FOOTER_BUTTONS=1. If so, perhaps the SECTION_FOOTER_BUTTONS should
be renamed to PAGE_FOOTER_BUTTONS.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/