1159 |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
"Tree.hash", new ColorUIResource(new Color(128, 128, 128)), |
1160 |
"Tree.leftChildIndent", new Integer(7), |
"Tree.leftChildIndent", new Integer(7), |
1161 |
"Tree.rightChildIndent", new Integer(13), |
"Tree.rightChildIndent", new Integer(13), |
1162 |
"Tree.rowHeight", new Integer(16), |
"Tree.rowHeight", new Integer(0), |
1163 |
"Tree.scrollsOnExpand", Boolean.TRUE, |
"Tree.scrollsOnExpand", Boolean.TRUE, |
1164 |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
1165 |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(255, 255, 255)), |
"Tree.nonSelectionBackground", new ColorUIResource(new Color(255, 255, 255)), |