286 |
}), |
}), |
287 |
"CheckBox.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"CheckBox.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
288 |
"CheckBox.foreground", new ColorUIResource(darkShadow), |
"CheckBox.foreground", new ColorUIResource(darkShadow), |
289 |
"CheckBox.icon", BasicIconFactory.getCheckBoxIcon(), |
"CheckBox.icon", |
290 |
|
new UIDefaults.LazyValue() |
291 |
|
{ |
292 |
|
public Object createValue(UIDefaults def) |
293 |
|
{ |
294 |
|
return BasicIconFactory.getCheckBoxIcon(); |
295 |
|
} |
296 |
|
}, |
297 |
"CheckBox.margin",new InsetsUIResource(2, 2, 2, 2), |
"CheckBox.margin",new InsetsUIResource(2, 2, 2, 2), |
298 |
"CheckBox.textIconGap", new Integer(4), |
"CheckBox.textIconGap", new Integer(4), |
299 |
"CheckBox.textShiftOffset", new Integer(0), |
"CheckBox.textShiftOffset", new Integer(0), |
664 |
"RadioButton.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"RadioButton.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
665 |
"RadioButton.foreground", new ColorUIResource(darkShadow), |
"RadioButton.foreground", new ColorUIResource(darkShadow), |
666 |
"RadioButton.highlight", new ColorUIResource(highLight), |
"RadioButton.highlight", new ColorUIResource(highLight), |
667 |
"RadioButton.icon", BasicIconFactory.getRadioButtonIcon(), |
"RadioButton.icon", |
668 |
|
new UIDefaults.LazyValue() |
669 |
|
{ |
670 |
|
public Object createValue(UIDefaults def) |
671 |
|
{ |
672 |
|
return BasicIconFactory.getRadioButtonIcon(); |
673 |
|
} |
674 |
|
}, |
675 |
"RadioButton.light", new ColorUIResource(highLight), |
"RadioButton.light", new ColorUIResource(highLight), |
676 |
"RadioButton.margin", new InsetsUIResource(2, 2, 2, 2), |
"RadioButton.margin", new InsetsUIResource(2, 2, 2, 2), |
677 |
"RadioButton.shadow", new ColorUIResource(shadow), |
"RadioButton.shadow", new ColorUIResource(shadow), |