UI: In repo source page, display a link bar

This commit is contained in:
fr33domlover 2019-10-19 10:13:33 +00:00
parent 552e2b3001
commit 25e29e8ccc
2 changed files with 48 additions and 22 deletions

View file

@ -12,24 +12,31 @@ $# You should have received a copy of the CC0 Public Domain Dedication along
$# with this software. If not, see
$# <http://creativecommons.org/publicdomain/zero/1.0/>.
^{followButton}
$maybe desc <- repoDesc repository
<p>#{desc}
<p>
<div>
<span>
<a href=@{RepoInboxR user repo}>
[📥 Inbox]
<span>
<a href=@{RepoOutboxR user repo}>
[📤 Outbox]
<span>
<a href=@{RepoFollowersR user repo}>
[🐤 Followers]
<span>
<a href=@{RepoDevsR user repo}>
[🤝 Collaborators]
<span>
<a href=@{RepoHeadChangesR user repo}>
[🛠 Changes]
^{followButton}
<div>
^{buttonW DELETE "Delete this repo" (RepoR user repo)}
<p>
<a href=@{RepoDevsR user repo}>Collaborators
<p>
<a href=@{RepoHeadChangesR user repo}>Changes
<h2>Branches
<p>TODO
<h2>Tags
<p>TODO
@ -63,3 +70,7 @@ $case sv
$maybe (readmeName, readmeWidget) <- mreadme
<h2>#{readmeName}
^{readmeWidget}
<div>
<a href=@?{(RepoR user repo, [("prettyjson","true")])}>
[See repo JSON]

View file

@ -12,20 +12,31 @@ $# You should have received a copy of the CC0 Public Domain Dedication along
$# with this software. If not, see
$# <http://creativecommons.org/publicdomain/zero/1.0/>.
^{followButton}
$maybe desc <- repoDesc repository
<p>#{desc}
<p>
<div>
<span>
<a href=@{RepoInboxR user repo}>
[📥 Inbox]
<span>
<a href=@{RepoOutboxR user repo}>
[📤 Outbox]
<span>
<a href=@{RepoFollowersR user repo}>
[🐤 Followers]
<span>
<a href=@{RepoDevsR user repo}>
[🤝 Collaborators]
<span>
<a href=@{RepoHeadChangesR user repo}>
[🛠 Commits]
^{followButton}
<div>
^{buttonW DELETE "Delete this repo" (RepoR user repo)}
<p>
<a href=@{RepoDevsR user repo}>Collaborators
<p>
<a href=@{RepoHeadChangesR user repo}>Commits
<h2>Branches
<ul>
@ -71,3 +82,7 @@ $case sv
$maybe (readmeName, readmeWidget) <- mreadme
<h2>#{readmeName}
^{readmeWidget}
<div>
<a href=@?{(RepoR user repo, [("prettyjson","true")])}>
[See repo JSON]