From 71941077337920132fef779df714e332089f47a0 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 16 Jan 2013 09:20:48 -0800
Subject: [PATCH] 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