Method setTree

src/figtree/treeviewer/DefaultTreeViewer.java:92–96

(Tree tree)

    }

    public void setTree(Tree tree) {
        trees.clear();
        addTree(tree);
        showTree(0);
    }

    public void setTrees(Collection<? extends Tree> trees) {
        this.trees.clear();