new hscrollfillpanel
authoramwaterhouse <Andrew Waterhouse>
Tue, 15 Mar 2005 16:12:42 +0000 (16:12 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 15 Mar 2005 16:12:42 +0000 (16:12 +0000)
src/jalview/jbgui/GAlignmentPanel.java

index cfee93c..6e92380 100755 (executable)
@@ -31,12 +31,13 @@ public class GAlignmentPanel extends JPanel
   BorderLayout borderLayout6 = new BorderLayout();
   ButtonGroup buttonGroup1 = new ButtonGroup();
   BorderLayout borderLayout7 = new BorderLayout();
-  JPanel jPanel1 = new JPanel();
-  FlowLayout flowLayout1 = new FlowLayout();
   JPanel jPanel3 = new JPanel();
   protected JPanel secondaryPanelHolder = new JPanel();
   BorderLayout borderLayout8 = new BorderLayout();
   BorderLayout borderLayout9 = new BorderLayout();
+  JPanel jPanel1 = new JPanel();
+  BorderLayout borderLayout10 = new BorderLayout();
+  protected JPanel hscrollFillerPanel = new JPanel();
 
   public GAlignmentPanel()
   {
@@ -75,20 +76,15 @@ public class GAlignmentPanel extends JPanel
     idSpaceFillerPanel.setBackground(Color.white);
     idSpaceFillerPanel.setPreferredSize(new Dimension(10, 80));
     hscroll.setOrientation(JScrollBar.HORIZONTAL);
-    hscroll.setMinimumSize(new Dimension(250, 16));
-    hscroll.setPreferredSize(new Dimension(250, 16));
-    vscroll.setEnabled(true);
-    jPanel1.setBackground(new Color(220, 220, 220));
-    jPanel1.setLayout(flowLayout1);
-    flowLayout1.setHgap(0);
-    flowLayout1.setVgap(0);
     jPanel3.setLayout(borderLayout9);
     secondaryPanelHolder.setLayout(borderLayout8);
+    jPanel1.setLayout(borderLayout10);
+    hscrollFillerPanel.setBackground(Color.white);
     sequenceHolderPanel.add(scalePanelHolder,  BorderLayout.NORTH);
     sequenceHolderPanel.add(seqPanelHolder,  BorderLayout.CENTER);
+    seqPanelHolder.add(vscroll, BorderLayout.EAST);
     this.add(jPanel2, BorderLayout.CENTER);
     jPanel2.add(sequenceHolderPanel, BorderLayout.CENTER);
-    seqPanelHolder.add(vscroll, BorderLayout.EAST);
     sequenceHolderPanel.add(jPanel3,  BorderLayout.SOUTH);
     jPanel3.add(scorePanelHolder, BorderLayout.CENTER);
   //  jPanel3.add(secondaryPanelHolder,  BorderLayout.SOUTH);
@@ -96,7 +92,8 @@ public class GAlignmentPanel extends JPanel
     idPanelHolder.add(idSpaceFillerPanel1,  BorderLayout.NORTH);
     idPanelHolder.add(idSpaceFillerPanel,  BorderLayout.SOUTH);
     this.add(jPanel1,  BorderLayout.SOUTH);
-    jPanel1.add(hscroll, null);
+    jPanel1.add(hscroll, BorderLayout.CENTER);
+    jPanel1.add(hscrollFillerPanel,  BorderLayout.WEST);
   }