493 |
|
|
494 |
final JTree tree = new JTree(root); |
final JTree tree = new JTree(root); |
495 |
tree.setLargeModel(true); |
tree.setLargeModel(true); |
496 |
|
tree.setEditable(true); |
497 |
DefaultTreeSelectionModel dtsm = new DefaultTreeSelectionModel(); |
DefaultTreeSelectionModel dtsm = new DefaultTreeSelectionModel(); |
498 |
dtsm.setSelectionMode(DefaultTreeSelectionModel.SINGLE_TREE_SELECTION); |
dtsm.setSelectionMode(DefaultTreeSelectionModel.SINGLE_TREE_SELECTION); |
499 |
tree.setSelectionModel(dtsm); |
tree.setSelectionModel(dtsm); |