src/jalview/gui/SplitFrame.java

   1 package jalview.gui;
   2
   3 import jalview.jbgui.GSplitFrame;
   4
   5 import javax.swing.JComponent;
   6 import javax.swing.event.InternalFrameAdapter;
   7 import javax.swing.event.InternalFrameEvent;
   8
   9 public class SplitFrame extends GSplitFrame
  10 {
  11   private static final long serialVersionUID = 1L;
  12
  13   public SplitFrame(JComponent top, JComponent bottom)
  14   {
  15     super(top, bottom);
  16     init();
  17   }
  18
  19   /**
  20    * Initialise this frame.
  21    */
  22   protected void init()
  23   {
  24     setSize(AlignFrame.DEFAULT_WIDTH, Desktop.instance.getHeight() - 10);
  25
  26     /*
  27      * Add a listener to tidy up when the frame is closed.
  28      */
  29     addInternalFrameListener(new InternalFrameAdapter()
  30     {
  31       @Override
  32       public void internalFrameClosed(InternalFrameEvent evt)
  33       {
  34         if (getTopComponent() instanceof AlignFrame)
  35         {
  36           ((AlignFrame) getTopComponent())
  37                   .closeMenuItem_actionPerformed(true);
  38         }
  39         if (getBottomComponent() instanceof AlignFrame)
  40         {
  41           ((AlignFrame) getBottomComponent())
  42                   .closeMenuItem_actionPerformed(true);
  43         }
  44       };
  45     });
  46
  47   }
  48
  49 }