dashboard-menu.xml 1.3 KB
Newer Older
1 2 3 4 5
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">

<ui>
  <popup action="dashboard-popup">
6 7 8 9
    <menu action="dashboard-groups" name="Groups">
      <placeholder name="Groups" />
    </menu>
    <menu action="dashboard-update-interval" name="Update Interval">
10 11 12 13 14 15
      <menuitem action="dashboard-update-interval-0-25-sec" />
      <menuitem action="dashboard-update-interval-0-5-sec" />
      <menuitem action="dashboard-update-interval-1-sec" />
      <menuitem action="dashboard-update-interval-2-sec" />
      <menuitem action="dashboard-update-interval-4-sec" />
    </menu>
16
    <menu action="dashboard-history-duration" name="History Duration">
17 18 19 20 21 22
      <menuitem action="dashboard-history-duration-15-sec" />
      <menuitem action="dashboard-history-duration-30-sec" />
      <menuitem action="dashboard-history-duration-60-sec" />
      <menuitem action="dashboard-history-duration-120-sec" />
      <menuitem action="dashboard-history-duration-240-sec" />
    </menu>
23 24 25 26 27
    <separator />
    <menuitem action="dashboard-log-record" />
    <menuitem action="dashboard-log-add-marker" />
    <menuitem action="dashboard-log-add-empty-marker" />
    <separator />
28
    <menuitem action="dashboard-reset" />
29 30 31 32
    <separator />
    <menuitem action="dashboard-low-swap-space-warning" />
  </popup>
</ui>