Method showTree

src/figtree/treeviewer/DefaultTreeViewer.java:172–190

(int index)

    }

    public void showTree(int index) {
        if (isRootingOn() && getRootingType() == TreePane.RootingType.USER_ROOTING) {
            JOptionPane.showMessageDialog(frame, "Cannot switch trees when user rooting option is on.\n" +
                    "Turn this option off to switch trees",
                    "Unable to switch trees",
                    JOptionPane.ERROR_MESSAGE);
            return;
        }

        Tree tree = trees.get(index);
        if (tree instanceof RootedTree) {
            treePane.setTree((RootedTree)tree);
        } else {
            treePane.setTree(Utils.rootTheTree(tree));
        }

        currentTreeIndex = index;
        fireTreeChanged();
    }

    public void showNextTree() {
        if (currentTreeIndex < trees.size() - 1) {