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