Изменить отображаемые метки для JSlider?

Question

У меня есть JSlider с минимумом 0 и максимумом 10000. У меня установлены основные отметки на отметке 1000. Если бы я рисовал этикетки сейчас, они бы отображались как 0, 1000, 2000, 3000, 4000 и т. Д. То, что я хотел бы показать, было бы 0, 1, 2, 3, 4, 5 и т. Д. Что бы быть хорошим способом выполнить эту задачу?

Answer 1

с использованием JSlider.setLabelTable (словарь)

EDIT

В качестве альтернативы вы можете использовать предопределенный интерфейс метки и просто изменить текст метки:

    Enumeration e = jSlider.getLabelTable().keys();

    while (e.hasMoreElements()) {
        Integer i = (Integer) e.nextElement();
        JLabel label = (JLabel) jSlider.getLabelTable().get(i);
        label.setText(String.valueOf(i / 1000));          
    }

Answer 2

Вы можете использовать JSlider.setLabelTable(Dictionary) для установки определенных меток для значений, которые вы хотите отобразить по-разному; например,

JSlider slider = ...

Dictionary dict = new Hashtable();
for (int i=0; i<=10000; i += 1000) {  
  dict.put(i, new JLabel(Integer.toString(i / 1000)));
}

slider.setLabelTable(dict);

(Отредактировано на основе предыдущих комментариев.)