package jalview.ext.treeviewer; import java.awt.Dimension; import java.awt.Graphics2D; import java.awt.MenuContainer; import java.awt.Rectangle; import java.awt.event.MouseListener; import java.io.File; import java.util.Set; import javax.accessibility.Accessible; public interface TreePanelI extends Accessible, MenuContainer { public void addMouseListener(MouseListener listener); public abstract TreeNodeI findNode(int x, int y); public int getHeight(); public abstract Set getMatchingNodes(); public MouseListener[] getMouseListeners(); public float getPartitionThreshold(); public abstract TreeI getTree(); public abstract File getTreeFile(); public abstract Rectangle getVisibleArea(); public int getWidth(); public void notifyPaintRefresher(boolean alignmentChanged, boolean validateSequences); public void notifyPaintRefresher(String newSeqSetIdentifier, boolean alignmentChanged, boolean validateSequences); public abstract void paintToFile(Graphics2D pg, int width, int height); public void registerWithPaintRefresher(String sequenceSetIdentifier); public void removeMouseListener(MouseListener listener); public void repaint(); public abstract void setMatchingNodes(Set matchingNodes); public void setMaximumSize(Dimension maximumSize); public void setMinimumSize(Dimension minimumSize); public void setPreferredSize(Dimension preferredSize); public abstract void setTreeFile(File file); public boolean showingSubTree(); }