blob: bb85292c323f5e45483dadb975afd7440b0d3339 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">
<ui>
<popup action="dashboard-popup">
<menu action="dashboard-groups" name="Groups">
<placeholder name="Groups" />
</menu>
<menu action="dashboard-update-interval" name="Update Interval">
<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>
<menu action="dashboard-history-duration" name="History Duration">
<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>
<separator />
<menuitem action="dashboard-log-record" />
<menuitem action="dashboard-log-add-marker" />
<menuitem action="dashboard-log-add-empty-marker" />
<separator />
<menuitem action="dashboard-reset" />
<separator />
<menuitem action="dashboard-low-swap-space-warning" />
</popup>
</ui>
|
