Swing/SpinnerMenuItem のバックアップ(No.1)

private static Component makeSpinnerMenuItem(String title, Component c) {
  JMenuItem item = new JMenuItem() {
    @Override public void updateUI() {
      super.updateUI();
      setBorder(BorderFactory.createEmptyBorder(2, 2, 2, 2));
      setEnabled(false);
      setLayout(new FlowLayout(FlowLayout.RIGHT, 0, 0));
    }

    @Override public Dimension getPreferredSize() {
      Dimension d = super.getPreferredSize();
      d.height = Math.max(d.height, c.getPreferredSize().height);
      return d;
    }
  };
  item.add(new JLabel(title));
  item.add(c);
  return item;
}

private static JMenu makeSpinnerMenu() {
  SpinnerNumberModel model1 = new SpinnerNumberModel(100, 10, 300, 10);
  SpinnerNumberModel model2 = new SpinnerNumberModel(150, 10, 300, 10);
  JMenu menu = new JMenu("JSpinner");
  menu.add(makeMenuBox("L: ", makeSpinner(model1)));
  menu.add(makeMenuBox("R: ", makeSpinner(model2)));
  menu.add(new JSeparator());
  menu.add(makeSpinnerMenuItem("Left: ", makeSpinner(model1)));
  menu.add(makeSpinnerMenuItem("Right: ", makeSpinner(model2)));
  menu.addSeparator();
  menu.add("JMenuItem1");
  menu.add("JMenuItem2");
  menu.add(Box.createHorizontalStrut(160));
  return menu;
}

private static JSpinner makeSpinner(SpinnerModel model) {
  JSpinner spinner = new JSpinner(model);
  ((JSpinner.DefaultEditor) spinner.getEditor()).getTextField().setColumns(8);
  spinner.addMouseWheelListener(e -> {
    JSpinner s = (JSpinner) e.getComponent();
    SpinnerModel o = s.getModel();
    if (s.isEnabled() && o instanceof SpinnerNumberModel) {
      SpinnerNumberModel m = (SpinnerNumberModel) o;
      m.setValue(m.getNumber().intValue() - e.getWheelRotation());
    }
    e.consume();
  });
  return spinner;
}