Remove table headers from repo source dir view
This commit is contained in:
parent
0d3ccb3a38
commit
48d7e86684
2 changed files with 30 additions and 30 deletions
|
@ -43,21 +43,21 @@ $case sv
|
||||||
^{body}
|
^{body}
|
||||||
$of SourceDir (DirectoryView mname ents mreadme)
|
$of SourceDir (DirectoryView mname ents mreadme)
|
||||||
<h2>#{fromMaybe "Files" mname}
|
<h2>#{fromMaybe "Files" mname}
|
||||||
<table>
|
$if null ents
|
||||||
<tr>
|
<p>No files!
|
||||||
<th>Type
|
$else
|
||||||
<th>Name
|
<table>
|
||||||
$forall DirEntry type' name <- ents
|
$forall DirEntry type' name <- ents
|
||||||
<tr>
|
<tr>
|
||||||
<td>
|
<td>
|
||||||
$case type'
|
$case type'
|
||||||
$of TypeBlob
|
$of TypeBlob
|
||||||
🗎
|
🗎
|
||||||
$of TypeTree
|
$of TypeTree
|
||||||
🗀
|
🗀
|
||||||
<td>
|
<td>
|
||||||
<a href=@{RepoSourceR user repo (dir ++ [name])}>
|
<a href=@{RepoSourceR user repo (dir ++ [name])}>
|
||||||
#{name}
|
#{name}
|
||||||
$maybe (readmeName, readmeWidget) <- mreadme
|
$maybe (readmeName, readmeWidget) <- mreadme
|
||||||
<h2>#{readmeName}
|
<h2>#{readmeName}
|
||||||
^{readmeWidget}
|
^{readmeWidget}
|
||||||
|
|
|
@ -51,21 +51,21 @@ $case sv
|
||||||
^{body}
|
^{body}
|
||||||
$of SourceDir (DirectoryView mname ents mreadme)
|
$of SourceDir (DirectoryView mname ents mreadme)
|
||||||
<h2>#{fromMaybe "Files" mname}
|
<h2>#{fromMaybe "Files" mname}
|
||||||
<table>
|
$if null ents
|
||||||
<tr>
|
<p>No files!
|
||||||
<th>Type
|
$else
|
||||||
<th>Name
|
<table>
|
||||||
$forall DirEntry type' name <- ents
|
$forall DirEntry type' name <- ents
|
||||||
<tr>
|
<tr>
|
||||||
<td>
|
<td>
|
||||||
$case type'
|
$case type'
|
||||||
$of TypeBlob
|
$of TypeBlob
|
||||||
🗎
|
🗎
|
||||||
$of TypeTree
|
$of TypeTree
|
||||||
🗀
|
🗀
|
||||||
<td>
|
<td>
|
||||||
<a href=@{RepoSourceR user repo (ref : (dir ++ [name]))}>
|
<a href=@{RepoSourceR user repo (ref : (dir ++ [name]))}>
|
||||||
#{name}
|
#{name}
|
||||||
$maybe (readmeName, readmeWidget) <- mreadme
|
$maybe (readmeName, readmeWidget) <- mreadme
|
||||||
<h2>#{readmeName}
|
<h2>#{readmeName}
|
||||||
^{readmeWidget}
|
^{readmeWidget}
|
||||||
|
|
Loading…
Reference in a new issue