Jslider для удваиваний

Question

Я делаю графический интерфейс (используя Swing) для покера и нужен какой-то ползунок, чтобы позволить игрокам выбрать размер ставки. Однако качели JSlider Работает только с значениями int, тогда как мне нужно что-то, что может поддерживать удваиваться в течение 1 десятичной точки. Есть ли какие-либо библиотеки, которые я могу использовать или трюки с JSlider?

Answer 1

Вы можете умножить значение на 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 );

Answer 2

Один обманывать Вы можете использовать с jslider - использовать единицы в центах. Поэтому, если вы хотите, чтобы пользователь выбрал сумму от 1 до 10 долларов, вы фактически устанавливаете JSLIDER в диапазон от 100 до 1000. Затем вы просто преобразуете значение в доллары и центы, когда пользователь выбирает значение.

Затем вы можете использовать словарь значений, чтобы указать, какую метку отображается при любом значении на слайдере. Использовать setLabelTable() Метод для этого.