blob: 78e65ee31df137362ef9a5d1a113e67b3fd4f4f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">
<ui>
<popup action="tool-options-popup">
<menu action="tool-options-save-preset-menu" name="Save">
<menuitem action="tool-options-save-new-preset" />
<separator />
</menu>
<menu action="tool-options-restore-preset-menu" name="Restore" />
<menu action="tool-options-edit-preset-menu" name="Edit" />
<menu action="tool-options-delete-preset-menu" name="Delete" />
<separator />
<menuitem action="tool-options-reset" />
<menuitem action="tool-options-reset-all" />
</popup>
</ui>
|
