More performance improvements on pipe tables.
This commit is contained in:
parent
bab816cefe
commit
2a4b987cc3
1 changed files with 1 additions and 2 deletions
|
@ -913,7 +913,6 @@ pipeTable headless = tableWith (pipeTableHeader headless)
|
|||
pipeTableHeader :: Bool -- ^ Headerless table
|
||||
-> Parser [Char] ParserState ([[Block]], [Alignment], [Int])
|
||||
pipeTableHeader headless = do
|
||||
scanForPipe
|
||||
try $ do
|
||||
heads <- if headless
|
||||
then return $ repeat []
|
||||
|
@ -965,7 +964,7 @@ table = try $ do
|
|||
Table _ aligns widths heads lines' <-
|
||||
multilineTable False <|> simpleTable True <|>
|
||||
simpleTable False <|> multilineTable True <|>
|
||||
pipeTable False <|> pipeTable True <|>
|
||||
(scanForPipe >> (pipeTable False <|> pipeTable True)) <|>
|
||||
gridTable False <|> gridTable True <?> "table"
|
||||
caption <- if null frontCaption
|
||||
then option [] tableCaption
|
||||
|
|
Loading…
Add table
Reference in a new issue