svoid addPopupTrigger(JComponent c, IVF1<MouseEvent> r) {
  c.addMouseListener(new MouseAdapter {
    public void mousePressed(MouseEvent e) {
      if (e.isPopupTrigger())
        r.get(e);
    }
  });
}