Swing/TabbedPaneLabelShift のバックアップ(No.7)

System.out.println(UIManager.getLookAndFeelDefaults().get("TabbedPane.selectedLabelShift"));
System.out.println(UIManager.getLookAndFeelDefaults().get("TabbedPane.labelShift"));

// UIManager.put("TabbedPane.selectedLabelShift", -1);
int slsiv = UIManager.getLookAndFeelDefaults().getInt("TabbedPane.selectedLabelShift");
SpinnerNumberModel slsModel = new SpinnerNumberModel(slsiv, -5, 5, 1);
slsModel.addChangeListener(e -> {
  SpinnerNumberModel source = (SpinnerNumberModel) e.getSource();
  Integer offset = source.getNumber().intValue();
  UIManager.put("TabbedPane.selectedLabelShift", offset);
  SwingUtilities.updateComponentTreeUI(getTopLevelAncestor());
});

// UIManager.put("TabbedPane.labelShift", 1);
int lsiv = UIManager.getLookAndFeelDefaults().getInt("TabbedPane.labelShift");
SpinnerNumberModel lsModel = new SpinnerNumberModel(lsiv, -5, 5, 1);
lsModel.addChangeListener(e -> {
  SpinnerNumberModel source = (SpinnerNumberModel) e.getSource();
  Integer offset = source.getNumber().intValue();
  UIManager.put("TabbedPane.labelShift", offset);
  SwingUtilities.updateComponentTreeUI(getTopLevelAncestor());
});