1035 |
"Tree.rowHeight", new Integer(19), |
"Tree.rowHeight", new Integer(19), |
1036 |
"Tree.scrollsOnExpand", Boolean.TRUE, |
"Tree.scrollsOnExpand", Boolean.TRUE, |
1037 |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
"Tree.selectionBackground", new ColorUIResource(Color.black), |
1038 |
|
"Tree.nonSelectionBackground", new ColorUIResource(light), |
1039 |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
"Tree.selectionBorderColor", new ColorUIResource(Color.black), |
1040 |
"Tree.selectionForeground", new ColorUIResource(Color.white), |
"Tree.selectionForeground", new ColorUIResource(Color.white), |
1041 |
"Tree.textBackground", new ColorUIResource(Color.white), |
"Tree.textBackground", new ColorUIResource(Color.white), |