de2e287133
Would like to also have restart UI, but that's rather harder to do, seems it'd need to start another copy of the webapp, and redirect the browser to its new url, but running two assistants in the same repo at the same time isn't good.
23 lines
746 B
Text
23 lines
746 B
Text
<div .navbar .navbar-fixed-top>
|
|
<div .navbar-inner>
|
|
<div .container>
|
|
<a .brand>
|
|
git-annex
|
|
<ul .nav>
|
|
$forall (name, route, isactive) <- navbar
|
|
<li :isactive:.active>
|
|
<a href="@{route}">
|
|
#{name}
|
|
$maybe reldir <- relDir webapp
|
|
<ul .nav .pull-right>
|
|
<li>
|
|
^{actionButton FileBrowserR (Just "Files") (Just "Click to open a file browser") "" "icon-folder-open icon-white"}
|
|
<li .dropdown #menu1>
|
|
<a .dropdown-toggle data-toggle="dropdown" href="#menu1">
|
|
Current Repository: #{reldir}
|
|
<b .caret></b>
|
|
^{controlMenu}
|
|
$nothing
|
|
<div .container-fluid>
|
|
<div .row-fluid>
|
|
^{content}
|