<?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>
