Skip to content

OpenDocument writer: Add missing table elements#11157

Merged
jgm merged 1 commit intojgm:mainfrom
TuongNM:opendocument-writer-dropped-table-rows
Sep 20, 2025
Merged

OpenDocument writer: Add missing table elements#11157
jgm merged 1 commit intojgm:mainfrom
TuongNM:opendocument-writer-dropped-table-rows

Conversation

@TuongNM
Copy link
Contributor

@TuongNM TuongNM commented Sep 20, 2025

Fixes #10002

I noticed that the TableFoot as well as the header rows of the TableBody were also missing so I added them as well.

Also applied hlint suggestions that came up.

Add missing header rows after the first one,
footer rows as well as TableBody header rows.

Also apply hlint suggestions to use Down and fuse mapM/map.
@jgm jgm merged commit bdab991 into jgm:main Sep 20, 2025
11 of 14 checks passed
@jgm
Copy link
Owner

jgm commented Sep 20, 2025

thanks!

@TuongNM TuongNM deleted the opendocument-writer-dropped-table-rows branch September 20, 2025 21:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Row disappeared in table header for grid table converted to ODT

2 participants