1230 |
rightChildIndent = UIManager.getInt("Tree.rightChildIndent"); |
rightChildIndent = UIManager.getInt("Tree.rightChildIndent"); |
1231 |
leftChildIndent = UIManager.getInt("Tree.leftChildIndent"); |
leftChildIndent = UIManager.getInt("Tree.leftChildIndent"); |
1232 |
setRowHeight(UIManager.getInt("Tree.rowHeight")); |
setRowHeight(UIManager.getInt("Tree.rowHeight")); |
1233 |
|
tree.setRowHeight(UIManager.getInt("Tree.rowHeight")); |
1234 |
tree.requestFocusInWindow(false); |
tree.requestFocusInWindow(false); |
1235 |
tree.setScrollsOnExpand(UIManager.getBoolean("Tree.scrollsOnExpand")); |
tree.setScrollsOnExpand(UIManager.getBoolean("Tree.scrollsOnExpand")); |
1236 |
setExpandedIcon(UIManager.getIcon("Tree.openIcon")); |
setExpandedIcon(UIManager.getIcon("Tree.openIcon")); |
3779 |
!tree.isVisible(new TreePath(getPathToRoot(next, 0)))); |
!tree.isVisible(new TreePath(getPathToRoot(next, 0)))); |
3780 |
} |
} |
3781 |
currentVisiblePath = current; |
currentVisiblePath = current; |
3782 |
|
tree.setVisibleRowCount(getRowCount(tree)); |
3783 |
} |
} |
3784 |
|
|
3785 |
/** |
/** |