1038 |
}), |
}), |
1039 |
"Tree.font", new FontUIResource(new Font("Helvetica", Font.PLAIN, 12)), |
"Tree.font", new FontUIResource(new Font("Helvetica", Font.PLAIN, 12)), |
1040 |
"Tree.foreground", new ColorUIResource(Color.black), |
"Tree.foreground", new ColorUIResource(Color.black), |
1041 |
"Tree.hash", new ColorUIResource(Color.gray), |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
1042 |
"Tree.leftChildIndent", new Integer(7), |
"Tree.leftChildIndent", new Integer(7), |
1043 |
"Tree.rightChildIndent", new Integer(13), |
"Tree.rightChildIndent", new Integer(13), |
1044 |
"Tree.rowHeight", new Integer(20), // FIXME |
"Tree.rowHeight", new Integer(20), // FIXME |
1045 |
"Tree.scrollsOnExpand", Boolean.TRUE, |
"Tree.scrollsOnExpand", Boolean.TRUE, |
1046 |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
1047 |
"Tree.nonSelectionBackground", new ColorUIResource(light), |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(239, 235, 231)), |
1048 |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
1049 |
"Tree.selectionForeground", new ColorUIResource(Color.white), |
"Tree.selectionForeground", new ColorUIResource(new Color(255, 255, 255)), |
1050 |
"Tree.textBackground", new ColorUIResource(Color.white), |
"Tree.textBackground", new ColorUIResource(new Color(255, 255, 255)), |
1051 |
"Tree.textForeground", new ColorUIResource(Color.black), |
"Tree.textForeground", new ColorUIResource(Color.black), |
1052 |
"Viewport.background", new ColorUIResource(light), |
"Viewport.background", new ColorUIResource(light), |
1053 |
"Viewport.foreground", new ColorUIResource(Color.black), |
"Viewport.foreground", new ColorUIResource(Color.black), |