1162 |
"Tree.line", getPrimaryControl(), |
"Tree.line", getPrimaryControl(), |
1163 |
"Tree.openIcon", MetalIconFactory.getTreeFolderIcon(), |
"Tree.openIcon", MetalIconFactory.getTreeFolderIcon(), |
1164 |
"Tree.rightChildIndent", new Integer(13), |
"Tree.rightChildIndent", new Integer(13), |
1165 |
"Tree.rowHeight", new Integer(20), |
"Tree.rowHeight", new Integer(0), |
1166 |
"Tree.scrollsOnExpand", Boolean.TRUE, |
"Tree.scrollsOnExpand", Boolean.TRUE, |
1167 |
"Tree.selectionBackground", getTextHighlightColor(), |
"Tree.selectionBackground", getTextHighlightColor(), |
1168 |
"Tree.selectionBorder", new BorderUIResource.LineBorderUIResource(new Color(102, 102, 153)), |
"Tree.selectionBorder", new BorderUIResource.LineBorderUIResource(new Color(102, 102, 153)), |