move local repo list out of control menu

2013-01-03 16:34:57 -04:00 · 2013-01-03 16:34:57 -04:00 · 09cbbaf537
commit 09cbbaf537
parent 4c0fb330eb
8 changed files with 36 additions and 28 deletions
--- a/templates/control/repositoryswitcher.hamlet
+++ b/templates/control/repositoryswitcher.hamlet
@ -0,0 +1,14 @@
+<div .span9 .hero-unit>
+  <h2>
+    Switch repository
+  <p>
+    $if null repolist
+      There are no other local repositories. Want to #
+      <a href="@{NewRepositoryR}">add one</a>?
+    $else
+      You can switch to any of these other local repositories:
+      <ul>
+        $forall (name, path) <- repolist
+          <li>
+            <a href="@{SwitchToRepositoryR path}">
+              #{name}