templates/controlmenu.hamlet


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

<ul .dropdown-menu>
  <li>
    <a href="@{NewRepositoryR}">
      <span .glyphicon .glyphicon-plus-sign>
      \ Add another local repository
  <li>
    <a href="@{RepositorySwitcherR}">
      <span .glyphicon .glyphicon-folder-close>
      \ Switch repository
  <li>&nbsp;</li>
  <li>
    <a href="@{RestartR}">
      <span .glyphicon .glyphicon-repeat>
      \ Restart daemon
  <li>
    <a href="@{ShutdownR}">
      <span .glyphicon .glyphicon-off>
      \ Shutdown daemon
  <li>
    <a href="@{LogR}">
      <span .glyphicon .glyphicon-list>
      \ View log