From 48d7e86684f2fbe3b72e833daa099bafb7515665 Mon Sep 17 00:00:00 2001 From: fr33domlover Date: Thu, 1 Nov 2018 09:45:48 +0000 Subject: [PATCH] Remove table headers from repo source dir view --- templates/repo/source-darcs.hamlet | 30 +++++++++++++++--------------- templates/repo/source-git.hamlet | 30 +++++++++++++++--------------- 2 files changed, 30 insertions(+), 30 deletions(-) diff --git a/templates/repo/source-darcs.hamlet b/templates/repo/source-darcs.hamlet index 9a2960f..718e1d2 100644 --- a/templates/repo/source-darcs.hamlet +++ b/templates/repo/source-darcs.hamlet @@ -43,21 +43,21 @@ $case sv ^{body} $of SourceDir (DirectoryView mname ents mreadme)

#{fromMaybe "Files" mname} - - - -
Type - Name - $forall DirEntry type' name <- ents -
- $case type' - $of TypeBlob - 🗎 - $of TypeTree - 🗀 - - - #{name} + $if null ents +

No files! + $else + + $forall DirEntry type' name <- ents + +
+ $case type' + $of TypeBlob + 🗎 + $of TypeTree + 🗀 + + + #{name} $maybe (readmeName, readmeWidget) <- mreadme

#{readmeName} ^{readmeWidget} diff --git a/templates/repo/source-git.hamlet b/templates/repo/source-git.hamlet index aaa3e46..8ca9016 100644 --- a/templates/repo/source-git.hamlet +++ b/templates/repo/source-git.hamlet @@ -51,21 +51,21 @@ $case sv ^{body} $of SourceDir (DirectoryView mname ents mreadme)

#{fromMaybe "Files" mname} - - - -
Type - Name - $forall DirEntry type' name <- ents -
- $case type' - $of TypeBlob - 🗎 - $of TypeTree - 🗀 - - - #{name} + $if null ents +

No files! + $else + + $forall DirEntry type' name <- ents + +
+ $case type' + $of TypeBlob + 🗎 + $of TypeTree + 🗀 + + + #{name} $maybe (readmeName, readmeWidget) <- mreadme

#{readmeName} ^{readmeWidget}