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   JPanel jPanel3 = new JPanel();
  35   protected JPanel secondaryPanelHolder = new JPanel();
  36   BorderLayout borderLayout8 = new BorderLayout();
  37   BorderLayout borderLayout9 = new BorderLayout();
  38   JPanel jPanel1 = new JPanel();
  39   BorderLayout borderLayout10 = new BorderLayout();
  40   protected JPanel hscrollFillerPanel = new JPanel();
  41
  42   public GAlignmentPanel()
  43   {
  44     try
  45     {
  46       jbInit();
  47     }
  48     catch(Exception e)
  49     {
  50       e.printStackTrace();
  51     }
  52   }
  53   private void jbInit() throws Exception
  54   {
  55     idPanelHolder.setBorder(null);
  56     idPanelHolder.setPreferredSize(new Dimension(70, 10));
  57     this.setLayout(borderLayout7);
  58     sequenceHolderPanel.setMaximumSize(new Dimension(2147483647, 2147483647));
  59     sequenceHolderPanel.setMinimumSize(new Dimension(150, 150));
  60     sequenceHolderPanel.setPreferredSize(new Dimension(150, 150));
  61     sequenceHolderPanel.setLayout(borderLayout3);
  62     seqPanelHolder.setLayout(borderLayout1);
  63     jPanel2.setBackground(new Color(212, 208, 230));
  64     jPanel2.setBorder(null);
  65     jPanel2.setLayout(borderLayout2);
  66     scalePanelHolder.setBackground(Color.white);
  67     scalePanelHolder.setMinimumSize(new Dimension(10, 80));
  68     scalePanelHolder.setPreferredSize(new Dimension(10, 30));
  69     scalePanelHolder.setLayout(borderLayout6);
  70     scorePanelHolder.setBackground(Color.white);
  71     scorePanelHolder.setPreferredSize(new Dimension(10, 80));
  72     scorePanelHolder.setLayout(borderLayout4);
  73     idPanelHolder.setLayout(borderLayout5);
  74     idSpaceFillerPanel1.setBackground(Color.white);
  75     idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));
  76     idSpaceFillerPanel.setBackground(Color.white);
  77     idSpaceFillerPanel.setPreferredSize(new Dimension(10, 80));
  78     hscroll.setOrientation(JScrollBar.HORIZONTAL);
  79     jPanel3.setLayout(borderLayout9);
  80     secondaryPanelHolder.setLayout(borderLayout8);
  81     jPanel1.setLayout(borderLayout10);
  82     hscrollFillerPanel.setBackground(Color.white);
  83     sequenceHolderPanel.add(scalePanelHolder,  BorderLayout.NORTH);
  84     sequenceHolderPanel.add(seqPanelHolder,  BorderLayout.CENTER);
  85     seqPanelHolder.add(vscroll, BorderLayout.EAST);
  86     this.add(jPanel2, BorderLayout.CENTER);
  87     jPanel2.add(sequenceHolderPanel, BorderLayout.CENTER);
  88     sequenceHolderPanel.add(jPanel3,  BorderLayout.SOUTH);
  89     jPanel3.add(scorePanelHolder, BorderLayout.CENTER);
  90   //  jPanel3.add(secondaryPanelHolder,  BorderLayout.SOUTH);
  91     this.add(idPanelHolder, BorderLayout.WEST);
  92     idPanelHolder.add(idSpaceFillerPanel1,  BorderLayout.NORTH);
  93     idPanelHolder.add(idSpaceFillerPanel,  BorderLayout.SOUTH);
  94     this.add(jPanel1,  BorderLayout.SOUTH);
  95     jPanel1.add(hscroll, BorderLayout.CENTER);
  96     jPanel1.add(hscrollFillerPanel,  BorderLayout.WEST);
  97   }
  98
  99
 100 }