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

Question

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

Answer 1

используя JSlider.setLabelTable(словарь)

Редактировать

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

    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);

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