648 |
"MenuItem.background", new ColorUIResource(light), |
"MenuItem.background", new ColorUIResource(light), |
649 |
"MenuItem.border", new BasicBorders.MarginBorder(), |
"MenuItem.border", new BasicBorders.MarginBorder(), |
650 |
"MenuItem.borderPainted", Boolean.FALSE, |
"MenuItem.borderPainted", Boolean.FALSE, |
|
"MenuItem.checkIcon", BasicIconFactory.getMenuItemCheckIcon(), |
|
651 |
"MenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"MenuItem.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
652 |
"MenuItem.foreground", new ColorUIResource(darkShadow), |
"MenuItem.foreground", new ColorUIResource(darkShadow), |
653 |
"MenuItem.margin", new InsetsUIResource(2, 2, 2, 2), |
"MenuItem.margin", new InsetsUIResource(2, 2, 2, 2), |