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
[email protected] http://per.bothner.com/
