mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-25 00:45:47 +00:00
Add reader option for track changes.
This commit is contained in:
@@ -211,6 +211,7 @@ data ReaderOptions = ReaderOptions{
|
||||
-- indented code blocks
|
||||
, readerDefaultImageExtension :: String -- ^ Default extension for images
|
||||
, readerTrace :: Bool -- ^ Print debugging info
|
||||
, readerTrackChanges :: TrackChanges
|
||||
} deriving (Show, Read)
|
||||
|
||||
instance Default ReaderOptions
|
||||
@@ -227,6 +228,7 @@ instance Default ReaderOptions
|
||||
, readerIndentedCodeClasses = []
|
||||
, readerDefaultImageExtension = ""
|
||||
, readerTrace = False
|
||||
, readerTrackChanges = AcceptChanges
|
||||
}
|
||||
|
||||
--
|
||||
|
||||
Reference in New Issue
Block a user