change names of space filling panel
authoramwaterhouse <Andrew Waterhouse>
Tue, 16 Nov 2004 15:25:50 +0000 (15:25 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 16 Nov 2004 15:25:50 +0000 (15:25 +0000)
src/jalview/jbgui/GAlignmentPanel.java

index c361c1e..51fd62c 100755 (executable)
@@ -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);
   }