jgm/pandocfilters

Table definition outdated

mtunix opened this issue · 2 comments

Hello,

it appears the elt definition of the Table object is outdated. In pandocfilters.py it is defined as:

[...]
Table = elt('Table', 5)
[...]

However if one tries to alter a table using this Table definition we run into a problem:

Error in $.blocks[28]: When parsing the constructor Table of type Text.Pandoc.Definition.Block expected Array of length 6 but got Array of length 5.

This is due to the fact that (apparently) the definition should actually contain 6 values. The TableFooter value is missing. It is however not possible to create a table in the correct dimensions using the current definition in pandocfilters.py.

I propose changing the Table definition to the following:

[...]
Table = elt('Table', 6)
[...]

This way it is possible to alter a table using the pandocfilters.py package again.

ickc commented

I’ll take a look at it later, but I recently got COVID so it may take a while.