!7

p-awt {
  new JMenuBar mb;
  mb.add(new JMenu("Menu"));
  mb.add(new JMenuItem(abstractAction("Hello", r { infoBox("Hello") })) {
    public Dimension getMaximumSize() {
        return new Dimension(
            super.getPreferredSize().width, 
            super.getMaximumSize().height);
    }
  });
  setMenuBar(mb, showFrame());
}