Class DefaultTreeViewer

src/figtree/treeviewer/DefaultTreeViewer.java:49–809

@author Andrew Rambaut @version $Id$ $HeadURL$ $LastChangedBy$ $LastChangedDate$ $LastChangedRevision$

 * $LastChangedRevision$
 */
public class DefaultTreeViewer extends TreeViewer {
    private final static double ZOOM_SCALE = 0.02;
    private final static double VERTICAL_EXPANSION_SCALE = 0.02;
    private final static double ZOOM_POWER = 1.2;

    public DefaultTreeViewer() {
        this(null);
    }

    /**
     * Creates new TreeViewer
     */
    public DefaultTreeViewer(JFrame frame) {
        this.frame = frame;

        setLayout(new BorderLayout());

        this.treePane = new TreePane();
        treePane.setAutoscrolls(true); //enable synthetic drag events

        treePane.addTreePaneListener(new TreePaneListener() {
            public void treePaneSettingsChanged() {
                fireTreeSettingsChanged();
            }
        });

        JScrollPane scrollPane = new JScrollPane(treePane, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
        scrollPane.setMinimumSize(new Dimension(150, 150));

        scrollPane.setBorder(null);
        viewport = scrollPane.getViewport();

        add(scrollPane, BorderLayout.CENTER);

        // This overrides MouseListener and MouseMotionListener to allow selection in the TreePane -
        // It installs itself within the constructor.
        treePaneSelector = new TreePaneSelector(treePane);
        treePaneRollOver = new TreePaneRollOver(treePane);

        setFocusable(true);

    }

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

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

    public void addTree(Tree tree) {