From: amwaterhouse <Andrew Waterhouse>
Date: Tue, 16 Nov 2004 15:25:50 +0000 (+0000)
Subject: change names of space filling panel
X-Git-Tag: Release_2_0~923
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=e5ea4030e3d64c871eae90f4acf22cb5f0ded979;p=jalview.git

change names of space filling panel
---

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);
   }