From 82a16ba2405ca35e9e734a1a7925e60f648c3e4b Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 17 Mar 2005 10:41:12 +0000 Subject: [PATCH] idspacefillerpanel has borderlayout --- src/jalview/jbgui/GAlignmentPanel.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/jalview/jbgui/GAlignmentPanel.java b/src/jalview/jbgui/GAlignmentPanel.java index 6e92380..bbbb1ab 100755 --- a/src/jalview/jbgui/GAlignmentPanel.java +++ b/src/jalview/jbgui/GAlignmentPanel.java @@ -38,6 +38,7 @@ public class GAlignmentPanel extends JPanel JPanel jPanel1 = new JPanel(); BorderLayout borderLayout10 = new BorderLayout(); protected JPanel hscrollFillerPanel = new JPanel(); + BorderLayout borderLayout11 = new BorderLayout(); public GAlignmentPanel() { @@ -73,6 +74,7 @@ public class GAlignmentPanel extends JPanel idPanelHolder.setLayout(borderLayout5); idSpaceFillerPanel1.setBackground(Color.white); idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30)); + idSpaceFillerPanel1.setLayout(borderLayout11); idSpaceFillerPanel.setBackground(Color.white); idSpaceFillerPanel.setPreferredSize(new Dimension(10, 80)); hscroll.setOrientation(JScrollBar.HORIZONTAL); @@ -80,6 +82,7 @@ public class GAlignmentPanel extends JPanel secondaryPanelHolder.setLayout(borderLayout8); jPanel1.setLayout(borderLayout10); hscrollFillerPanel.setBackground(Color.white); + jPanel1.setBackground(Color.white); sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH); sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER); seqPanelHolder.add(vscroll, BorderLayout.EAST); -- 1.7.10.2