diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-09-18 17:50:07 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-09-18 17:50:07 -0400 |
| commit | 18bae020ede6770dfbe00a3335c0e9f8b7f7fdf6 (patch) | |
| tree | 74eb967c26258c40649e80d8992aee556b04f6f0 /templates/page.hamlet | |
| parent | 467844d7d3f703f99fcde1f951f33efda5e90074 (diff) | |
make other repositories list list all autostarted repos
And add a form to add another, unrelated repository
Diffstat (limited to 'templates/page.hamlet')
| -rw-r--r-- | templates/page.hamlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/templates/page.hamlet b/templates/page.hamlet index 0c07c9130..7648b6107 100644 --- a/templates/page.hamlet +++ b/templates/page.hamlet @@ -6,7 +6,8 @@ <ul .nav> $forall (name, route, isactive) <- navbar <li :isactive:.active> - <a href="@{route}">#{name}</a> + <a href="@{route}"> + #{name} $maybe reldir <- relDir webapp <ul .nav .pull-right> <li> @@ -15,8 +16,7 @@ <a .dropdown-toggle data-toggle="dropdown" href="#menu1"> Current Repository: #{reldir} <b .caret></b> - <ul .dropdown-menu> - <li><a href="@{RepositoriesR}">Add another repository</a></li> + ^{otherReposWidget} $nothing <div .container-fluid> <div .row-fluid> |