4c041b2e8a
Add a "groups" submenu to the dashboard popup menu, which can be used to control which groups are shown in the dashboard.
28 lines
1.1 KiB
XML
28 lines
1.1 KiB
XML
<?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>
|
|
<menuitem action="dashboard-reset" />
|
|
<separator />
|
|
<menuitem action="dashboard-low-swap-space-warning" />
|
|
</popup>
|
|
</ui>
|