255 |
"Button.foreground", new ColorUIResource(Color.black), |
"Button.foreground", new ColorUIResource(Color.black), |
256 |
"Button.highlight", new ColorUIResource(Color.white), |
"Button.highlight", new ColorUIResource(Color.white), |
257 |
"Button.light", new ColorUIResource(Color.lightGray.brighter()), |
"Button.light", new ColorUIResource(Color.lightGray.brighter()), |
258 |
"Button.margin", new InsetsUIResource(2, 14, 2, 14), |
"Button.margin", new InsetsUIResource(2, 2, 2, 2), |
259 |
"Button.shadow", new ColorUIResource(Color.gray), |
"Button.shadow", new ColorUIResource(Color.gray), |
260 |
"Button.textIconGap", new Integer(4), |
"Button.textIconGap", new Integer(4), |
261 |
"Button.textShiftOffset", new Integer(0), |
"Button.textShiftOffset", new Integer(0), |