From 744e19db1eeed2dfe523bc4db81968852e84f397 Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Sun, 20 Mar 2022 20:07:44 +0100
Subject: [PATCH] server: better html output
---
server/HtmlOrphans.hs | 12 +++++++-----
1 file changed, 7 insertions(+), 5 deletions(-)
diff --git a/server/HtmlOrphans.hs b/server/HtmlOrphans.hs
index 412961b..6438a5e 100644
--- a/server/HtmlOrphans.hs
+++ b/server/HtmlOrphans.hs
@@ -145,7 +145,7 @@ instance ToHtml (DirResult a) where
p_ $ do badge maxlevel "Linted:"; " "; headerText maxlevel
- h2_ "Exits"
+ h3_ "Exits"
unless (null dirresultDeps) $ ul_ $
forM_ dirresultDeps $ \missing -> do
li_ $ do
@@ -187,10 +187,12 @@ instance ToHtml (DirResult a) where
h4_ (toHtml name)
ul_ $ forM_ mapresultGeneral $ \lint ->
li_ (toHtml lint)
- h5_ "Layers"
- ul_ (listMapWithKey mapresultLayer)
- h5_ "Tilesets"
- ul_ (listMapWithKey mapresultTileset)
+ unless (null mapresultLayer) $ do
+ h5_ "Layers"
+ ul_ (listMapWithKey mapresultLayer)
+ unless (null mapresultTileset) $ do
+ h5_ "Tilesets"
+ ul_ (listMapWithKey mapresultTileset)
where
maxlevel = maximumLintLevel res
--
GitLab