748 |
"Slider.highlight", new ColorUIResource(highLight), |
"Slider.highlight", new ColorUIResource(highLight), |
749 |
"Slider.shadow", new ColorUIResource(shadow), |
"Slider.shadow", new ColorUIResource(shadow), |
750 |
"Slider.thumbHeight", new Integer(20), |
"Slider.thumbHeight", new Integer(20), |
751 |
"Slider.thumbWidth", new Integer(10), |
"Slider.thumbWidth", new Integer(11), |
752 |
"Slider.tickHeight", new Integer(12), |
"Slider.tickHeight", new Integer(12), |
753 |
"Spinner.background", new ColorUIResource(light), |
"Spinner.background", new ColorUIResource(light), |
754 |
"Spinner.foreground", new ColorUIResource(light), |
"Spinner.foreground", new ColorUIResource(light), |