diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2013-09-07 09:36:37 -0700 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2013-09-07 09:36:37 -0700 |
commit | 5afd373ae45f525ff1eff5e54c1850fe2c614b4b (patch) | |
tree | 178a4098c0d68ed12aa1abb3545badfb24b1493a /src/Text/Pandoc/Readers | |
parent | 91550dd6dbca6655b5f08d7f17fbe99fe58801a2 (diff) | |
download | pandoc-5afd373ae45f525ff1eff5e54c1850fe2c614b4b.tar.gz |
Added `lists_without_preceding_blankline` extension.
* Added `Ext_lists_without_preceding_blankline` to
`Extension` in `Options`. Added this option to
`githubMarkdownExtensions`.
* Made markdown reader sensitive to this.
* Closes #972.
Diffstat (limited to 'src/Text/Pandoc/Readers')
-rw-r--r-- | src/Text/Pandoc/Readers/Markdown.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Text/Pandoc/Readers/Markdown.hs b/src/Text/Pandoc/Readers/Markdown.hs index 9b98cbc3e..2ca0d312a 100644 --- a/src/Text/Pandoc/Readers/Markdown.hs +++ b/src/Text/Pandoc/Readers/Markdown.hs @@ -1559,6 +1559,7 @@ endline :: MarkdownParser (F Inlines) endline = try $ do newline notFollowedBy blankline + guardDisabled Ext_lists_without_preceding_blankline <|> notFollowedBy listStart guardEnabled Ext_blank_before_blockquote <|> notFollowedBy emailBlockQuoteStart guardEnabled Ext_blank_before_header <|> notFollowedBy (char '#') -- atx header -- parse potential list-starts differently if in a list: |