843 |
"Slider.trackWidth", new Integer(7), |
"Slider.trackWidth", new Integer(7), |
844 |
"Slider.majorTickLength", new Integer(6), |
"Slider.majorTickLength", new Integer(6), |
845 |
|
|
846 |
|
"TabbedPane.font", new FontUIResource("Dialog", Font.BOLD, 12), |
847 |
|
"TabbedPane.tabInsets", new InsetsUIResource(0, 9, 1, 9), |
848 |
|
"TabbedPane.selectedTabPadInsets", new InsetsUIResource(2, 2, 2, 1), |
849 |
|
"TabbedPane.tabAreaInsets", new InsetsUIResource(4, 2, 0, 6), |
850 |
|
|
851 |
"ToggleButton.background", new ColorUIResource(getControl()), |
"ToggleButton.background", new ColorUIResource(getControl()), |
852 |
"ToggleButton.border", MetalBorders.getButtonBorder(), |
"ToggleButton.border", MetalBorders.getButtonBorder(), |
853 |
"ToggleButton.darkShadow", new ColorUIResource(getControlDarkShadow()), |
"ToggleButton.darkShadow", new ColorUIResource(getControlDarkShadow()), |