<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">
<ui>
<popup action="error-console-popup">
<menuitem action="error-console-clear" />
<separator />
<menuitem action="error-console-save-all" />
<menuitem action="error-console-save-selection" />
</popup>
</ui>