273 |
"Button.foreground", new ColorUIResource(Color.BLACK), |
"Button.foreground", new ColorUIResource(Color.BLACK), |
274 |
"Button.highlight", new ColorUIResource(Color.WHITE), |
"Button.highlight", new ColorUIResource(Color.WHITE), |
275 |
"Button.light", new ColorUIResource(Color.LIGHT_GRAY), |
"Button.light", new ColorUIResource(Color.LIGHT_GRAY), |
276 |
"Button.margin", new InsetsUIResource(2, 2, 2, 2), |
"Button.margin", new InsetsUIResource(2, 14, 2, 14), |
277 |
"Button.shadow", new ColorUIResource(Color.GRAY), |
"Button.shadow", new ColorUIResource(Color.GRAY), |
278 |
"Button.textIconGap", new Integer(4), |
"Button.textIconGap", new Integer(4), |
279 |
"Button.textShiftOffset", new Integer(0), |
"Button.textShiftOffset", new Integer(0), |