Pretty: don't print a breaking space before a newline.
This commit is contained in:
1 parent
fe1152985c
commit
ce533ffd90
1 file changed
+4
@@ -250,6 +250,10 @@ renderList (NewLine : xs) = do
|
||||
outp (-1) "\n"
|
||||
renderList xs
|
||||
|
||||
renderList (BreakingSpace : CarriageReturn : xs) = renderList (CarriageReturn:xs)
|
||||
renderList (BreakingSpace : NewLine : xs) = renderList (NewLine:xs)
|
||||
renderList (BreakingSpace : BlankLine : xs) = renderList (BlankLine:xs)
|
||||
renderList (BreakingSpace : BreakingSpace : xs) = renderList (BreakingSpace:xs)
|
||||
renderList (BreakingSpace : xs) = do
|
||||
let isText (Text _ _) = True
|
||||
isText (Block _ _) = True
|
||||
|
||||
Reference in new issue
Block a user