package jalview.ext.treeviewer;
+import java.awt.Graphics2D;
import java.awt.MenuContainer;
import java.awt.event.MouseListener;
import java.io.File;
public interface ExternalTreePanel extends Accessible, MenuContainer
{
+
public abstract void setTreeFile(File file);
public abstract File getTreeFile();
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);
+
}