diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2012-09-27 13:28:04 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2012-09-27 13:33:14 -0700 |
| commit | 15a8192b84639a1cb1c4d3750931c8c1bcf58aed (patch) | |
| tree | 107b6ca5b4d8fca327f8549fed1bf327ca58c5b6 /src/Text/Pandoc/Options.hs | |
| parent | f76478bcb9a651623d33c6d4ad766a126bc590a1 (diff) | |
Renamed Ext_autolink_code_spans to Ext_monospace_autolinks.
Diffstat (limited to 'src/Text/Pandoc/Options.hs')
| -rw-r--r-- | src/Text/Pandoc/Options.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs index 359a26768..a7d02ed10 100644 --- a/src/Text/Pandoc/Options.hs +++ b/src/Text/Pandoc/Options.hs @@ -72,7 +72,7 @@ data Extension = | Ext_markdown_attribute -- ^ Interpret text inside HTML as markdown -- iff container has attribute 'markdown' | Ext_escaped_line_breaks -- ^ Treat a backslash at EOL as linebreak - | Ext_autolink_code_spans -- ^ Put autolink text inside code spans + | Ext_monospace_autolinks -- ^ Put autolink text in monospace font | Ext_fancy_lists -- ^ Enable fancy list numbers and delimiters | Ext_startnum -- ^ Make start number of ordered list significant | Ext_definition_lists -- ^ Definition lists as in pandoc, mmd, php @@ -112,7 +112,7 @@ pandocExtensions = Set.fromList , Ext_inline_code_attributes , Ext_markdown_in_html_blocks , Ext_escaped_line_breaks - , Ext_autolink_code_spans + , Ext_monospace_autolinks , Ext_fancy_lists , Ext_startnum , Ext_definition_lists |