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