diff options
author | John MacFarlane <jgm@berkeley.edu> | 2016-05-09 09:37:12 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2016-05-09 09:37:12 -0700 |
commit | c1b19b17c4853bb0113a340c54a1726b7e31e1a8 (patch) | |
tree | d63195836424d99e76c98727ff9aa872c7ceacef /src | |
parent | 21d1a3b57cc37cc8c13eaf24faf0743259afdb9a (diff) | |
parent | acd492c7f49e31f65ec044ce3ba66ffb80844e27 (diff) | |
download | pandoc-c1b19b17c4853bb0113a340c54a1726b7e31e1a8.tar.gz |
Merge pull request #2906 from roblabla/feature-mediaWikiTableHeaderSpaces
Allow spaces before '!' in MediaWiki table header
Diffstat (limited to 'src')
-rw-r--r-- | src/Text/Pandoc/Readers/MediaWiki.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Readers/MediaWiki.hs b/src/Text/Pandoc/Readers/MediaWiki.hs index 950497992..d3cee08e2 100644 --- a/src/Text/Pandoc/Readers/MediaWiki.hs +++ b/src/Text/Pandoc/Readers/MediaWiki.hs @@ -225,7 +225,7 @@ table = do Nothing -> 1.0 caption <- option mempty tableCaption optional rowsep - hasheader <- option False $ True <$ (lookAhead (char '!')) + hasheader <- option False $ True <$ (lookAhead (skipSpaces *> char '!')) (cellspecs',hdr) <- unzip <$> tableRow let widths = map ((tableWidth *) . snd) cellspecs' let restwidth = tableWidth - sum widths |