53 |
import javax.swing.JButton; |
import javax.swing.JButton; |
54 |
import javax.swing.JComponent; |
import javax.swing.JComponent; |
55 |
import javax.swing.JSpinner; |
import javax.swing.JSpinner; |
56 |
|
import javax.swing.LookAndFeel; |
57 |
import javax.swing.Timer; |
import javax.swing.Timer; |
|
import javax.swing.UIDefaults; |
|
|
import javax.swing.UIManager; |
|
58 |
import javax.swing.plaf.ComponentUI; |
import javax.swing.plaf.ComponentUI; |
59 |
import javax.swing.plaf.SpinnerUI; |
import javax.swing.plaf.SpinnerUI; |
60 |
|
|
166 |
*/ |
*/ |
167 |
protected void installDefaults() |
protected void installDefaults() |
168 |
{ |
{ |
169 |
/* most of it copied from BasicLabelUI, I don't know what keys are |
LookAndFeel.installColorsAndFont(spinner, "Spinner.background", |
170 |
available, so someone may want to update this. Hence: TODO |
"Spinner.foreground", "Spinner.font"); |
171 |
*/ |
LookAndFeel.installBorder(spinner, "Spinner.border"); |
|
UIDefaults defaults = UIManager.getLookAndFeelDefaults(); |
|
|
/* |
|
|
spinner.setForeground(defaults.getColor("Spinner.foreground")); |
|
|
spinner.setBackground(defaults.getColor("Spinner.background")); |
|
|
spinner.setFont(defaults.getFont("Spinner.font")); |
|
|
spinner.setBorder(defaults.getBorder("Spinner.border")); |
|
|
*/ |
|
172 |
spinner.setLayout(createLayout()); |
spinner.setLayout(createLayout()); |
173 |
spinner.setOpaque(true); |
spinner.setOpaque(true); |
174 |
} |
} |