<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE ui SYSTEM "gtkuimanager.dtd">

<ui>
  <popup action="tools-popup">
    <menuitem action="tools-visibility" />
    <separator />
    <menuitem action="tools-reset" />
  </popup>
</ui>
