mirror of https://github.com/GNOME/gimp.git
33 lines
1.3 KiB
XML
33 lines
1.3 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>
|
|
<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>
|