X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGAlignmentPanel.java;h=51fd62cd9afca13b5cf9a723a4a5bfc8ac443219;hb=e5ea4030e3d64c871eae90f4acf22cb5f0ded979;hp=c361c1e02a840fc7b10dc7521b0147f5fc627552;hpb=be81a18dc614d4d778017060945a10a85d5b5c24;p=jalview.git diff --git a/src/jalview/jbgui/GAlignmentPanel.java b/src/jalview/jbgui/GAlignmentPanel.java index c361c1e..51fd62c 100755 --- a/src/jalview/jbgui/GAlignmentPanel.java +++ b/src/jalview/jbgui/GAlignmentPanel.java @@ -25,7 +25,7 @@ public class GAlignmentPanel extends JPanel protected JPanel scalePanelHolder = new JPanel(); protected JPanel idPanelHolder = new JPanel(); BorderLayout borderLayout5 = new BorderLayout(); - JPanel jPanel3 = new JPanel(); + protected JPanel idSpaceFillerPanel1 = new JPanel(); protected JPanel idSpaceFillerPanel = new JPanel(); BorderLayout borderLayout4 = new BorderLayout(); BorderLayout borderLayout6 = new BorderLayout(); @@ -64,8 +64,8 @@ public class GAlignmentPanel extends JPanel scorePanelHolder.setPreferredSize(new Dimension(10, 80)); scorePanelHolder.setLayout(borderLayout4); idPanelHolder.setLayout(borderLayout5); - jPanel3.setBackground(Color.white); - jPanel3.setPreferredSize(new Dimension(10, 30)); + idSpaceFillerPanel1.setBackground(Color.white); + idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30)); idSpaceFillerPanel.setBackground(Color.white); idSpaceFillerPanel.setPreferredSize(new Dimension(10, 80)); hscroll.setOrientation(JScrollBar.HORIZONTAL); @@ -78,7 +78,7 @@ public class GAlignmentPanel extends JPanel seqPanelHolder.add(vscroll, BorderLayout.EAST); seqPanelHolder.add(hscroll, BorderLayout.SOUTH); this.add(idPanelHolder, BorderLayout.WEST); - idPanelHolder.add(jPanel3, BorderLayout.NORTH); + idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH); idPanelHolder.add(idSpaceFillerPanel, BorderLayout.SOUTH); }