Implemented Ext_mmd_header_identifiers in markdown writer.

2026-09-24 15:44:59 +08:00 · 2013-01-16 09:20:48 -08:00
parent 4926645578
commit 7194107733
1 changed files with 2 additions and 0 deletions
@@ -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