diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-01-07 11:06:25 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-01-07 11:07:03 -0800 |
| commit | c0d8b186d142eb5e9f845de0a4ebcadd04c32dce (patch) | |
| tree | 9a10827ce3da8345ff04c3ea6ecf12706e4e1d6a /src/Text/Pandoc/Lua/Packages.hs | |
| parent | 533b2edd51f9d85fe3ae0d54b2b22fb980e3d066 (diff) | |
| download | pandoc-c0d8b186d142eb5e9f845de0a4ebcadd04c32dce.tar.gz | |
T.P.Parsing: modify gridTableWith' for headerless tables.
If the table lacks a header, the header row should be an empty
list. Previously we got a list of empty cells, which caused
an empty header to be emitted instead of no header. In LaTeX/PDF
output that meant we got a double top line with space between.
@tarleb @despres - please let me know if this is problematic
for some reason I'm not grasping.
Diffstat (limited to 'src/Text/Pandoc/Lua/Packages.hs')
0 files changed, 0 insertions, 0 deletions