2 * 2004 Jalview Reengineered
14 public class GAlignmentPanel extends JPanel
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();
42 public GAlignmentPanel()
53 private void jbInit() throws Exception
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);