1 2 3 4 5 6 7 8 9 10 11 12 |
<?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" /> </popup> </ui> |