From 25e29e8ccc7d54eeffbf92f263edc6e6ccdf1c94 Mon Sep 17 00:00:00 2001
From: fr33domlover <fr33domlover@riseup.net>
Date: Sat, 19 Oct 2019 10:13:33 +0000
Subject: [PATCH] UI: In repo source page, display a link bar

---
 templates/repo/source-darcs.hamlet | 37 +++++++++++++++++++-----------
 templates/repo/source-git.hamlet   | 33 ++++++++++++++++++--------
 2 files changed, 48 insertions(+), 22 deletions(-)

diff --git a/templates/repo/source-darcs.hamlet b/templates/repo/source-darcs.hamlet
index 9176e5c..f33a72a 100644
--- a/templates/repo/source-darcs.hamlet
+++ b/templates/repo/source-darcs.hamlet
@@ -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]
diff --git a/templates/repo/source-git.hamlet b/templates/repo/source-git.hamlet
index 4f5fdc8..d29fccb 100644
--- a/templates/repo/source-git.hamlet
+++ b/templates/repo/source-git.hamlet
@@ -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]