1 package jalview.ext.treeviewer;
3 import java.awt.Graphics2D;
4 import java.awt.MenuContainer;
5 import java.awt.event.MouseListener;
9 import javax.accessibility.Accessible;
11 public interface ExternalTreePanel extends Accessible, MenuContainer
15 public abstract void setTreeFile(File file);
17 public abstract File getTreeFile();
19 public abstract ExternalTreeI getTree();
21 public abstract ExternalTreeNodeI findNode(int x, int y);
23 public abstract void setMatchingNodes(Set<Long> matchingNodes);
25 public abstract Set<Long> getMatchingNodes();
27 public void addMouseListener(MouseListener listener);
29 public void removeMouseListener(MouseListener listener);
31 public MouseListener[] getMouseListeners();
33 public void repaint();
35 public void registerWithPaintRefresher(String sequenceSetIdentifier);
37 public void notifyPaintRefresher(boolean alignmentChanged,
38 boolean validateSequences);
40 public void notifyPaintRefresher(String newSeqSetIdentifier,
41 boolean alignmentChanged, boolean validateSequences);
43 public int getWidth();
45 public int getHeight();
47 public abstract void paintToFile(Graphics2D pg, int width, int height);