Hscrollbar is shortened
authoramwaterhouse <Andrew Waterhouse>
Fri, 14 Jan 2005 15:46:04 +0000 (15:46 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 14 Jan 2005 15:46:04 +0000 (15:46 +0000)
src/jalview/jbgui/GAlignmentPanel.java

index 7d8ace7..4f6e29c 100755 (executable)
@@ -31,6 +31,8 @@ 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();
 
   public GAlignmentPanel()
   {
@@ -69,7 +71,13 @@ 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);
     sequenceHolderPanel.add(scorePanelHolder, BorderLayout.SOUTH);
     sequenceHolderPanel.add(scalePanelHolder,  BorderLayout.NORTH);
     sequenceHolderPanel.add(seqPanelHolder,  BorderLayout.CENTER);
@@ -79,7 +87,8 @@ public class GAlignmentPanel extends JPanel
     this.add(idPanelHolder, BorderLayout.WEST);
     idPanelHolder.add(idSpaceFillerPanel1,  BorderLayout.NORTH);
     idPanelHolder.add(idSpaceFillerPanel,  BorderLayout.SOUTH);
-    this.add(hscroll,  BorderLayout.SOUTH);
+    this.add(jPanel1,  BorderLayout.SOUTH);
+    jPanel1.add(hscroll, null);
   }