From e5ea4030e3d64c871eae90f4acf22cb5f0ded979 Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 16 Nov 2004 15:25:50 +0000 Subject: [PATCH] change names of space filling panel --- src/jalview/jbgui/GAlignmentPanel.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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); } -- 1.7.10.2