140 |
rightChildIndent = defaults.getInt("Tree.rightChildIndent"); |
rightChildIndent = defaults.getInt("Tree.rightChildIndent"); |
141 |
leftChildIndent = defaults.getInt("Tree.leftChildIndent"); |
leftChildIndent = defaults.getInt("Tree.leftChildIndent"); |
142 |
setRowHeight(defaults.getInt("Tree.rowHeight")); |
setRowHeight(defaults.getInt("Tree.rowHeight")); |
143 |
|
tree.setRowHeight(defaults.getInt("Tree.rowHeight")); |
144 |
tree.requestFocusInWindow(false); |
tree.requestFocusInWindow(false); |
145 |
|
|
146 |
setExpandedIcon(defaults.getIcon("Tree.openIcon")); |
setExpandedIcon(defaults.getIcon("Tree.openIcon")); |