187188189190191192193194195196197198
trees.clear(); trees.add(tree); getRenderer().setTree(tree); if (tree instanceof PhyloTree) { PhyloTree pt = (PhyloTree) tree; pt.setSynchronizedWithJS(true); } fforwardMe = true; mutator = new RandomTreeMutator(tree); } };