X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGAlignmentPanel.java;fp=src%2Fjalview%2Fjbgui%2FGAlignmentPanel.java;h=6594e2d3a019b94463f1d141fde35f1acfaa5feb;hb=3459a8a691cb22508d7067f240b7254e588e77d3;hp=b703b47efd49185128c30ae3da8c997a440493ca;hpb=5b27f1062b2203c4c31702e205f4c78e1992063e;p=jalview.git

diff --git a/src/jalview/jbgui/GAlignmentPanel.java b/src/jalview/jbgui/GAlignmentPanel.java
index b703b47..6594e2d 100755
--- a/src/jalview/jbgui/GAlignmentPanel.java
+++ b/src/jalview/jbgui/GAlignmentPanel.java
@@ -34,52 +34,57 @@ import javax.swing.border.Border;
 @SuppressWarnings("serial")
 public class GAlignmentPanel extends JPanel
 {
-	  protected JScrollBar vscroll = new JScrollBar();
+  protected JScrollBar vscroll = new JScrollBar();
 
-	  protected JScrollBar hscroll = new JScrollBar();
+  protected JScrollBar hscroll = new JScrollBar();
 
-	  BorderLayout borderLayout1 = new BorderLayout();
+  BorderLayout borderLayout1 = new BorderLayout();
 
-	  BorderLayout borderLayout3 = new BorderLayout();
+  BorderLayout borderLayout3 = new BorderLayout();
 
-	  BorderLayout borderLayout5 = new BorderLayout();
+  BorderLayout borderLayout5 = new BorderLayout();
 
-	  BorderLayout borderLayout6 = new BorderLayout();
+  BorderLayout borderLayout6 = new BorderLayout();
 
-	  ButtonGroup buttonGroup1 = new ButtonGroup();
+  ButtonGroup buttonGroup1 = new ButtonGroup();
 
-	  BorderLayout borderLayout7 = new BorderLayout();
+  BorderLayout borderLayout7 = new BorderLayout();
 
-	  BorderLayout borderLayout10 = new BorderLayout();
+  BorderLayout borderLayout10 = new BorderLayout();
 
-	  BorderLayout borderLayout11 = new BorderLayout();
+  BorderLayout borderLayout11 = new BorderLayout();
 
   public JScrollPane annotationScroller = new JScrollPane();
 
-	  Border border1;
+  Border border1;
 
-	  BorderLayout borderLayout4 = new BorderLayout();
+  BorderLayout borderLayout4 = new BorderLayout();
 
-	  
-	  static JPanel newJPanel() {  // BH 2019
-		  JPanel p = new JPanel();
-		  // leaving this in, as it prevents 
-		  // the checkerboard business, despite how
-		  // funky that looks. Remove if you want to.
-		  p.setBackground(Color.white);
-			return p;
-	  }
+  static JPanel newJPanel()
+  { // BH 2019
+    JPanel p = new JPanel();
+    // leaving this in, as it prevents
+    // the checkerboard business, despite how
+    // funky that looks. Remove if you want to.
+    p.setBackground(Color.white);
+    return p;
+  }
 
   protected JPanel sequenceHolderPanel = newJPanel();
+
   protected JPanel seqPanelHolder = newJPanel();
+
   protected JPanel scalePanelHolder = newJPanel();
+
   protected JPanel idPanelHolder = newJPanel();
+
   protected JPanel idSpaceFillerPanel1 = newJPanel();
+
   public JPanel annotationSpaceFillerHolder = newJPanel();
-  protected JPanel hscrollFillerPanel = newJPanel();
-  JPanel hscrollHolder = newJPanel();
 
+  protected JPanel hscrollFillerPanel = newJPanel();
 
+  JPanel hscrollHolder = newJPanel();
 
   public GAlignmentPanel()
   {
@@ -94,8 +99,8 @@ public class GAlignmentPanel extends JPanel
 
   private void jbInit() throws Exception
   {
-	//  annotationScroller.setBackground(Color.white);  // BH 2019
-	  
+    // annotationScroller.setBackground(Color.white); // BH 2019
+
     border1 = BorderFactory.createLineBorder(Color.gray, 1);
     idPanelHolder.setBorder(null);
     idPanelHolder.setPreferredSize(new Dimension(70, 10));