1 package jalview.ext.treeviewer;
3 import java.awt.Container;
4 import java.awt.Dimension;
5 import java.awt.MenuContainer;
6 import java.awt.image.ImageObserver;
8 import javax.accessibility.Accessible;
9 import javax.swing.RootPaneContainer;
10 import javax.swing.WindowConstants;
11 import javax.swing.event.InternalFrameListener;
13 public interface ExternalTreeFrame
14 extends Accessible, WindowConstants, RootPaneContainer,
15 ImageObserver, MenuContainer
17 public abstract ExternalTreePanel getTreePanel();
19 public abstract ExternalTreeI getTree();
21 public abstract void checkMultipleTrees();
23 public abstract int getNumberOfTrees();
25 public ExternalTreeControlsI getTreeControls();
27 public void addFrameListener(InternalFrameListener listener);
29 public void removeFrameListener(InternalFrameListener listener);
31 public InternalFrameListener[] getFrameListeners();
33 public void repaint();
35 public void setMinimumSize(Dimension dimension);
37 public boolean isShowing();
39 public Container getTopLevelAncestor();
41 public void addFrameToJalview(String title, boolean makeVisible,
42 int width, int height, boolean resizable, boolean ignoreMinSize);