package jalview.ext.treeviewer; import java.awt.Graphics2D; import java.awt.MenuContainer; import java.awt.event.MouseListener; import java.io.File; import java.util.Set; import javax.accessibility.Accessible; public interface ExternalTreePanel extends Accessible, MenuContainer { public abstract void setTreeFile(File file); public abstract File getTreeFile(); public abstract ExternalTreeI getTree(); public abstract ExternalTreeNodeI findNode(int x, int y); public abstract void setMatchingNodes(Set matchingNodes); public abstract Set getMatchingNodes(); public void addMouseListener(MouseListener listener); public void removeMouseListener(MouseListener listener); public MouseListener[] getMouseListeners(); public void repaint(); public void registerWithPaintRefresher(String sequenceSetIdentifier); public void notifyPaintRefresher(boolean alignmentChanged, boolean validateSequences); public void notifyPaintRefresher(String newSeqSetIdentifier, boolean alignmentChanged, boolean validateSequences); public int getWidth(); public int getHeight(); public abstract void paintToFile(Graphics2D pg, int width, int height); }