From 3a1c8854d0d08cdeaf089c750c8843be2d8df247 Mon Sep 17 00:00:00 2001 From: defanor Date: Fri, 24 Nov 2017 06:20:12 +0300 Subject: Make div indentation optional --- Pancake/Configuration.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'Pancake/Configuration.hs') diff --git a/Pancake/Configuration.hs b/Pancake/Configuration.hs index 2d20985..9253750 100644 --- a/Pancake/Configuration.hs +++ b/Pancake/Configuration.hs @@ -47,7 +47,10 @@ data Config = Config { commands :: M.Map String String , referenceDigits :: String -- ^ Digits to use for reference numbering, must -- be unique. - } deriving (Generic, Show) + , indentDivs :: Bool + -- ^ Whether to add indentation for elements + -- inside divs. + } deriving (Generic, Show, Eq) -- | For configuration parsing. instance FromJSON Config @@ -82,6 +85,7 @@ instance Default Config where , paginate = True , historyDepth = 100 , referenceDigits = "0123456789" + , indentDivs = False } -- | Loads configuration from an XDG config directory. -- cgit v1.2.3