If highlight backend not set for pretty JSON, assume Skylighting

Highlighter2 doesn't work for JSON anyway (not sure why yet).
This commit is contained in:
fr33domlover 2019-06-30 14:38:23 +00:00
parent 31d7e9eac7
commit deedc961c5

View file

@ -190,7 +190,7 @@ provideHtmlAndAP' host object widget = selectRep $ do
Just "true" -> do Just "true" -> do
mhl <- lookupGetParam "highlight" mhl <- lookupGetParam "highlight"
let sky = case mhl of let sky = case mhl of
Nothing -> error "Highlight style not set" Nothing -> True
Just "hl2" -> False Just "hl2" -> False
Just "sky" -> True Just "sky" -> True
Just _ -> error "Invalid highlight style" Just _ -> error "Invalid highlight style"
@ -223,7 +223,7 @@ provideHtmlAndAP'' body widget = selectRep $ do
Just "true" -> do Just "true" -> do
mhl <- lookupGetParam "highlight" mhl <- lookupGetParam "highlight"
let sky = case mhl of let sky = case mhl of
Nothing -> error "Highlight style not set" Nothing -> True
Just "hl2" -> False Just "hl2" -> False
Just "sky" -> True Just "sky" -> True
Just _ -> error "Invalid highlight style" Just _ -> error "Invalid highlight style"