2004-04-20 03:36:00 +08:00
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">
|
|
|
|
|
|
|
|
<ui>
|
2004-04-22 00:10:00 +08:00
|
|
|
<popup action="tool-options-popup">
|
2011-03-23 16:27:29 +08:00
|
|
|
<menu action="tool-options-save-preset-menu" name="Save">
|
|
|
|
<menuitem action="tool-options-save-new-preset" />
|
2004-04-20 03:36:00 +08:00
|
|
|
<separator />
|
|
|
|
</menu>
|
2011-03-23 16:27:29 +08:00
|
|
|
<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" />
|
2004-04-20 03:36:00 +08:00
|
|
|
<separator />
|
|
|
|
<menuitem action="tool-options-reset" />
|
|
|
|
<menuitem action="tool-options-reset-all" />
|
|
|
|
</popup>
|
|
|
|
</ui>
|