JSlider per i doppi

Question

Sto facendo una GUI (usando swing) per una struttura di poker e ho bisogno di una sorta di dispositivo di scorrimento per consentire ai giocatori di selezionare una dimensione di scommessa. Tuttavia, lo Swing JSlider funziona solo con valori int mentre io ho bisogno di qualcosa che supporti i doppi per 1 punto decimale. Ci sono biblioteche che posso usare o trucchi con lo JSlider?

Answer 1

È possibile moltiplicare il valore del 10

EDIT

È possibile modificare le etichette visualizzate come segue:

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

Uno trucco è possibile utilizzare con JSlider è quello di utilizzare le unità in centesimi. Quindi, se si desidera che l'utente selezioni un importo compreso tra 1 e 10 dollari, si imposta effettivamente il JSlider nell'intervallo da 100 a 1000. Quindi è sufficiente convertire il valore in dollari e centesimi quando l'utente seleziona un valore.

È quindi possibile utilizzare un dizionario di valori per specificare quale etichetta viene visualizzata con qualsiasi valore sul dispositivo di scorrimento. Utilizzare il metodo setLabelTable() per questo.