src/jalview/jbgui/GAlignmentPanel.java

   1 /********************
   2  * 2004 Jalview Reengineered
   3  * Barton Group
   4  * Dundee University
   5  *
   6  * AM Waterhouse
   7  *******************/
   8
   9 package jalview.jbgui;
  10
  11 import java.awt.*;
  12 import javax.swing.*;
  13
  14 public class GAlignmentPanel extends JPanel
  15 {
  16   protected JPanel sequenceHolderPanel = new JPanel();
  17   protected JScrollBar vscroll = new JScrollBar();
  18   protected  JScrollBar hscroll = new JScrollBar();
  19   protected JPanel seqPanelHolder = new JPanel();
  20   BorderLayout borderLayout1 = new BorderLayout();
  21   BorderLayout borderLayout3 = new BorderLayout();
  22   JPanel jPanel2 = new JPanel();
  23   BorderLayout borderLayout2 = new BorderLayout();
  24   protected JPanel scorePanelHolder = new JPanel();
  25   protected JPanel scalePanelHolder = new JPanel();
  26   protected JPanel idPanelHolder = new JPanel();
  27   BorderLayout borderLayout5 = new BorderLayout();
  28   protected JPanel idSpaceFillerPanel1 = new JPanel();
  29   protected JPanel idSpaceFillerPanel = new JPanel();
  30   BorderLayout borderLayout4 = new BorderLayout();
  31   BorderLayout borderLayout6 = new BorderLayout();
  32   ButtonGroup buttonGroup1 = new ButtonGroup();
  33   BorderLayout borderLayout7 = new BorderLayout();
  34
  35   public GAlignmentPanel()
  36   {
  37     try
  38     {
  39       jbInit();
  40     }
  41     catch(Exception e)
  42     {
  43       e.printStackTrace();
  44     }
  45   }
  46   private void jbInit() throws Exception
  47   {
  48     idPanelHolder.setBorder(null);
  49     idPanelHolder.setPreferredSize(new Dimension(70, 10));
  50     this.setLayout(borderLayout7);
  51     sequenceHolderPanel.setMaximumSize(new Dimension(2147483647, 2147483647));
  52     sequenceHolderPanel.setMinimumSize(new Dimension(150, 150));
  53     sequenceHolderPanel.setPreferredSize(new Dimension(150, 150));
  54     sequenceHolderPanel.setLayout(borderLayout3);
  55     seqPanelHolder.setLayout(borderLayout1);
  56     jPanel2.setBackground(new Color(212, 208, 230));
  57     jPanel2.setBorder(null);
  58     jPanel2.setLayout(borderLayout2);
  59     scalePanelHolder.setBackground(Color.white);
  60     scalePanelHolder.setMinimumSize(new Dimension(10, 80));
  61     scalePanelHolder.setPreferredSize(new Dimension(10, 30));
  62     scalePanelHolder.setLayout(borderLayout6);
  63     scorePanelHolder.setBackground(Color.white);
  64     scorePanelHolder.setPreferredSize(new Dimension(10, 80));
  65     scorePanelHolder.setLayout(borderLayout4);
  66     idPanelHolder.setLayout(borderLayout5);
  67     idSpaceFillerPanel1.setBackground(Color.white);
  68     idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));
  69     idSpaceFillerPanel.setBackground(Color.white);
  70     idSpaceFillerPanel.setPreferredSize(new Dimension(10, 80));
  71     hscroll.setOrientation(JScrollBar.HORIZONTAL);
  72     vscroll.setEnabled(true);
  73     sequenceHolderPanel.add(scorePanelHolder, BorderLayout.SOUTH);
  74     sequenceHolderPanel.add(scalePanelHolder,  BorderLayout.NORTH);
  75     sequenceHolderPanel.add(seqPanelHolder,  BorderLayout.CENTER);
  76     this.add(jPanel2, BorderLayout.CENTER);
  77     jPanel2.add(sequenceHolderPanel, BorderLayout.CENTER);
  78     seqPanelHolder.add(vscroll, BorderLayout.EAST);
  79     seqPanelHolder.add(hscroll, BorderLayout.SOUTH);
  80     this.add(idPanelHolder, BorderLayout.WEST);
  81     idPanelHolder.add(idSpaceFillerPanel1,  BorderLayout.NORTH);
  82     idPanelHolder.add(idSpaceFillerPanel,  BorderLayout.SOUTH);
  83   }
  84
  85
  86 }