From 6ca97c245713ea6ba83a3cd1d3c9873bac6bcd99 Mon Sep 17 00:00:00 2001 From: defanor Date: Wed, 8 Nov 2017 13:05:35 +0300 Subject: Denote headings --- Pancake/Printing.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'Pancake/Printing.hs') diff --git a/Pancake/Printing.hs b/Pancake/Printing.hs index 9bc6c81..04d9de6 100644 --- a/Pancake/Printing.hs +++ b/Pancake/Printing.hs @@ -93,6 +93,7 @@ showSexps uri ro = showDenotation :: Denotation -> String showDenotation (Link u) = list ["link", ".", encodeStr $ show u] showDenotation (Math m) = list ["math", ".", encodeStr m] + showDenotation (Heading l) = list ["heading", ".", show l] mergeStyled :: [Styled] -> [Styled] mergeStyled = foldr mergeStyled' [] -- cgit v1.2.3