error-console-menu.xml 360 Bytes
Newer Older
1
<?xml version="1.0" encoding="utf-8"?>
2
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">
3 4

<ui>
5
  <popup action="error-console-popup">
6
    <menuitem action="error-console-clear" />
7
    <menuitem action="error-console-select-all" />
8 9 10 11 12
    <separator />
    <menuitem action="error-console-save-all" />
    <menuitem action="error-console-save-selection" />
  </popup>
</ui>