blob: b32686ed97f19b2421bcf56e33bb9aa9914c0153 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
<?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>
|
