diff options
| author | John MacFarlane <[email protected]> | 2024-09-08 08:52:23 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2024-09-08 08:52:23 -0700 |
| commit | 45da887ff78bb2d7b3212f5b413169e7f4949a97 (patch) | |
| tree | b287c45e4911fb6b7552be51cb9805cabb1b1b5b | |
| parent | 6be667625e7a9181faa738431eed872feeb322c8 (diff) | |
Include accessors for new writer options
| -rw-r--r-- | pandoc-lua-engine/src/Text/Pandoc/Lua/Marshal/WriterOptions.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pandoc-lua-engine/src/Text/Pandoc/Lua/Marshal/WriterOptions.hs b/pandoc-lua-engine/src/Text/Pandoc/Lua/Marshal/WriterOptions.hs index ad03b7d51..b2ae7383c 100644 --- a/pandoc-lua-engine/src/Text/Pandoc/Lua/Marshal/WriterOptions.hs +++ b/pandoc-lua-engine/src/Text/Pandoc/Lua/Marshal/WriterOptions.hs @@ -170,6 +170,16 @@ typeWriterOptions = deftype "WriterOptions" (pushViaJSON, writerReferenceLocation) (peekViaJSON, \opts x -> opts{ writerReferenceLocation = x }) + , property "figure_caption_position" + "Location of caption relative to the figure" + (pushViaJSON, writerFigureCaptionPosition) + (peekViaJSON, \opts x -> opts{ writerFigureCaptionPosition = x }) + + , property "table_caption_position" + "Location of caption relative to the table" + (pushViaJSON, writerTableCaptionPosition) + (peekViaJSON, \opts x -> opts{ writerTableCaptionPosition = x }) + , property "section_divs" "Put sections in div tags in HTML" (pushBool, writerSectionDivs) |
