Method setTrees

src/figtree/treeviewer/DefaultTreeViewer.java:98–104

(Collection<? extends Tree> trees)

    }

    public void setTrees(Collection<? extends Tree> trees) {
        this.trees.clear();
        for (Tree tree : trees) {
            addTree(tree);
        }
        showTree(0);
    }

    public void addTree(Tree tree) {
        this.trees.add(tree);