@@ -879,6 +879,7 @@ data ParserState = ParserState
879 -- annotate role classes too).
879 -- annotate role classes too).
880 stateCaption :: Maybe Inlines, -- ^ Caption in current environment
880 stateCaption :: Maybe Inlines, -- ^ Caption in current environment
881 stateInHtmlBlock :: Maybe String, -- ^ Tag type of HTML block being parsed
881 stateInHtmlBlock :: Maybe String, -- ^ Tag type of HTML block being parsed
882+ stateMarkdownAttribute :: Bool, -- ^ True if in markdown=1 context
882 stateWarnings :: [String] -- ^ Warnings generated by the parser
883 stateWarnings :: [String] -- ^ Warnings generated by the parser
@@ -958,6 +959,7 @@ defaultParserState =
958 stateRstCustomRoles = M.empty,
959 stateRstCustomRoles = M.empty,
959 stateCaption = Nothing,
960 stateCaption = Nothing,
960 stateInHtmlBlock = Nothing,
961 stateInHtmlBlock = Nothing,
962+ stateMarkdownAttribute = False,
961 stateWarnings = []}
963 stateWarnings = []}
963-- | Succeed only if the extension is enabled.
965-- | Succeed only if the extension is enabled.