mirror of https://github.com/GNOME/gimp.git
19 lines
609 B
XML
19 lines
609 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">
|
|
|
|
<ui>
|
|
<popup action="error-console-popup">
|
|
<menuitem action="error-console-clear" />
|
|
<menuitem action="error-console-select-all" />
|
|
<separator />
|
|
<menuitem action="error-console-save-all" />
|
|
<menuitem action="error-console-save-selection" />
|
|
<separator />
|
|
<menu action="error-console-highlight">
|
|
<menuitem action="error-console-highlight-error" />
|
|
<menuitem action="error-console-highlight-warning" />
|
|
<menuitem action="error-console-highlight-info" />
|
|
</menu>
|
|
</popup>
|
|
</ui>
|