src/jalview/ext/treeviewer/ExternalTreeFrame.java

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