LaTeX reader: Gobble option & space after linebreak \\[10pt].

This commit is contained in:
John MacFarlane 2011-07-10 19:07:40 -07:00
parent 4134dad500
commit c83b578f58

View file

@ -805,7 +805,11 @@ nonbreakingSpace = char '~' >> return (Str "\160")
-- hard line break
linebreak :: GenParser Char st Inline
linebreak = try (string "\\\\") >> return LineBreak
linebreak = try $ do
string "\\\\"
optional $ bracketedText '[' ']' -- e.g. \\[10pt]
spaces
return LineBreak
str :: GenParser Char st Inline
str = many1 (noneOf specialChars) >>= return . Str