Я создаю графический интерфейс (используя swing) для платформы для покера и нуждаюсь в каком-то слайдере, чтобы игроки могли выбирать размер ставки. Однако Swing JSlider работает только с значениями int, тогда как мне нужно что-то, что может поддерживать удвоение для 1 десятичной точки. Существуют ли какие-либо библиотеки, которые я могу использовать, или трюки с помощью JSlider?
Вы можете умножить значение на 10
ИЗМЕНИТЬ
Вы можете изменить отображаемые метки следующим образом:
Hashtable labelTable = new Hashtable();
labelTable.put( new Integer( 0 ), new JLabel("0.0") );
labelTable.put( new Integer( 5 ), new JLabel("0.5") );
labelTable.put( new Integer( 10 ), new JLabel("1.0") );
framesPerSecond.setLabelTable( labelTable );
Один трюк , который вы можете использовать с JSlider - использовать единицы в центах. Поэтому, если вы хотите, чтобы пользователь выбирал сумму от 1 до 10 долларов, вы фактически устанавливаете JSlider в диапазоне от 100 до 1000. Затем вы просто конвертируете значение в доллары и цента, когда пользователь выбирает значение.
Затем вы можете использовать словарь значений, чтобы указать, какая метка отображается при любом значении слайдера. Используйте метод setLabelTable() для этого.