From 71941077337920132fef779df714e332089f47a0 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Wed, 16 Jan 2013 09:20:48 -0800 Subject: Implemented Ext_mmd_header_identifiers in markdown writer. --- src/Text/Pandoc/Writers/Markdown.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Text/Pandoc/Writers/Markdown.hs b/src/Text/Pandoc/Writers/Markdown.hs index 54948a959..10d7d1ed2 100644 --- a/src/Text/Pandoc/Writers/Markdown.hs +++ b/src/Text/Pandoc/Writers/Markdown.hs @@ -285,6 +285,8 @@ blockToMarkdown opts (Header level attr inlines) = do ("",[],[]) -> empty (id',[],[]) | isEnabled Ext_auto_identifiers opts && id' == autoId -> empty + (id',_,_) | isEnabled Ext_mmd_header_identifiers opts -> + space <> brackets (text id') _ | isEnabled Ext_header_attributes opts -> space <> attrsToMarkdown attr | otherwise -> empty -- cgit v1.2.3