826 |
"Table.focusCellBackground", new ColorUIResource(light), |
"Table.focusCellBackground", new ColorUIResource(light), |
827 |
"Table.focusCellForeground", new ColorUIResource(darkShadow), |
"Table.focusCellForeground", new ColorUIResource(darkShadow), |
828 |
"Table.focusCellHighlightBorder", |
"Table.focusCellHighlightBorder", |
829 |
new BorderUIResource.LineBorderUIResource(Color.white), |
new BorderUIResource.LineBorderUIResource( |
830 |
|
new ColorUIResource(255, 255, 0)), |
831 |
"Table.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"Table.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
832 |
"Table.foreground", new ColorUIResource(darkShadow), |
"Table.foreground", new ColorUIResource(darkShadow), |
833 |
"Table.gridColor", new ColorUIResource(Color.gray), |
"Table.gridColor", new ColorUIResource(Color.gray), |