Swing/TriangleTickSlider のバックアップ(No.11)

JSlider slider = new JSlider(0, 100);
slider.setMajorTickSpacing(10);
slider.setMinorTickSpacing(5);
slider.setPaintLabels(true);
slider.setSnapToTicks(true);
slider.putClientProperty("Slider.paintThumbArrowShape", Boolean.TRUE);
Dictionary dictionary = slider.getLabelTable();
if (dictionary != null) {
  Enumeration elements = dictionary.elements();
  Icon tick = new TickIcon();
  while (elements.hasMoreElements()) {
    JLabel label = (JLabel) elements.nextElement();
    label.setBorder(BorderFactory.createEmptyBorder(1, 0, 0, 0));
    label.setIcon(tick);
    label.setIconTextGap(0);
    label.setVerticalAlignment(SwingConstants.TOP);
    label.setVerticalTextPosition(SwingConstants.BOTTOM);
    label.setHorizontalAlignment(SwingConstants.CENTER);
    label.setHorizontalTextPosition(SwingConstants.CENTER);
    label.setForeground(Color.RED);
  }
}