Options: changed default reader/writerExtensions to emptyExtensions.

Previously they were pandocExtensions.
This didn't make sense for many formats.
This commit is contained in:
John MacFarlane 2017-01-15 12:57:15 +01:00
parent 412ed3f132
commit a58369a7e6

View file

@ -69,7 +69,7 @@ data ReaderOptions = ReaderOptions{
instance Default ReaderOptions
where def = ReaderOptions{
readerExtensions = pandocExtensions
readerExtensions = emptyExtensions
, readerStandalone = False
, readerParseRaw = False
, readerColumns = 80
@ -204,7 +204,7 @@ instance Default WriterOptions where
, writerNumberSections = False
, writerNumberOffset = [0,0,0,0,0,0]
, writerSectionDivs = False
, writerExtensions = pandocExtensions
, writerExtensions = emptyExtensions
, writerReferenceLinks = False
, writerDpi = 96
, writerWrapText = WrapAuto