| 104 | } |
| 105 | |
| 106 | public void addTree(Tree tree) { |
| 107 | this.trees.add(tree); |
| 108 | |
| 109 | // if (treePane.getTipLabelPainter() != null) { |
| 110 | // treePane.getTipLabelPainter().setupAttributes(trees); |
| 111 | // } |
| 112 | // |
| 113 | // if (treePane.getBranchLabelPainter() != null) { |
| 114 | // treePane.getBranchLabelPainter().setupAttributes(trees); |
| 115 | // } |
| 116 | // |
| 117 | // if (treePane.getNodeLabelPainter() != null) { |
| 118 | // treePane.getNodeLabelPainter().setupAttributes(trees); |
| 119 | // } |
| 120 | // |
| 121 | // if (treePane.getNodeBarPainter() != null) { |
| 122 | // treePane.getNodeBarPainter().setupAttributes(trees); |
| 123 | // } |
| 124 | // |
| 125 | // if (treePane.getLegendPainter() != null) { |
| 126 | // treePane.getLegendPainter().setupAttributes(trees); |
| 127 | // } |
| 128 | } |
| 129 | |
| 130 | public void addTrees(Collection<? extends Tree> trees) { |
| 131 | int count = getTreeCount(); |