mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-25 08:55:55 +00:00
Removed deprecated and no longer used readerStrict in ReaderOptions.
This is handled by readerExtensions now.
This commit is contained in:
@@ -202,7 +202,6 @@ strictExtensions = Set.fromList
|
||||
data ReaderOptions = ReaderOptions{
|
||||
readerExtensions :: Set Extension -- ^ Syntax extensions
|
||||
, readerSmart :: Bool -- ^ Smart punctuation
|
||||
, readerStrict :: Bool -- ^ FOR TRANSITION ONLY
|
||||
, readerStandalone :: Bool -- ^ Standalone document with header
|
||||
, readerParseRaw :: Bool -- ^ Parse raw HTML, LaTeX
|
||||
, readerColumns :: Int -- ^ Number of columns in terminal
|
||||
@@ -222,7 +221,6 @@ instance Default ReaderOptions
|
||||
where def = ReaderOptions{
|
||||
readerExtensions = pandocExtensions
|
||||
, readerSmart = False
|
||||
, readerStrict = False
|
||||
, readerStandalone = False
|
||||
, readerParseRaw = False
|
||||
, readerColumns = 80
|
||||
|
||||
Reference in New Issue
Block a user