X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fjbappletgui%2FGAlignmentPanel.java;h=683c9c1d789cebc6d586fe71c3ae639123689f33;hb=b8d09897dacc7b0ad203982b4578e2c1d8929142;hp=272e8df9b58c393202d7226cbc3ea7e55247ea3e;hpb=99c58ee0ae2a848f982552e53feaf6d5cb9925e5;p=jalview.git

diff --git a/src/jalview/jbappletgui/GAlignmentPanel.java b/src/jalview/jbappletgui/GAlignmentPanel.java
index 272e8df..683c9c1 100755
--- a/src/jalview/jbappletgui/GAlignmentPanel.java
+++ b/src/jalview/jbappletgui/GAlignmentPanel.java
@@ -16,85 +16,85 @@
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA
 */
-
 package jalview.jbappletgui;
 
 import java.awt.*;
 
-public class GAlignmentPanel extends Panel
-{
-  protected Panel sequenceHolderPanel = new Panel();
-  protected Scrollbar vscroll = new Scrollbar();
-  protected  Scrollbar hscroll = new Scrollbar();
-  protected Panel seqPanelHolder = new Panel();
-  BorderLayout borderLayout1 = new BorderLayout();
-  BorderLayout borderLayout3 = new BorderLayout();
-  protected Panel scalePanelHolder = new Panel();
-  protected Panel idPanelHolder = new Panel();
-  BorderLayout borderLayout5 = new BorderLayout();
-  protected Panel idSpaceFillerPanel1 = new Panel();
-  public Panel annotationSpaceFillerHolder = new Panel();
-  BorderLayout borderLayout6 = new BorderLayout();
-  BorderLayout borderLayout7 = new BorderLayout();
-  Panel hscrollHolder = new Panel();
-  BorderLayout borderLayout10 = new BorderLayout();
-  protected Panel hscrollFillerPanel = new Panel();
-  BorderLayout borderLayout11 = new BorderLayout();
-  public Panel annotationScroller = new Panel();
-  BorderLayout borderLayout4 = new BorderLayout();
-  BorderLayout borderLayout2 = new BorderLayout();
 
-  public GAlignmentPanel()
-  {
-    try
-    {
-      jbInit();
-    }
-    catch(Exception e)
-    {
-      e.printStackTrace();
+public class GAlignmentPanel extends Panel {
+    protected Panel sequenceHolderPanel = new Panel();
+    protected Scrollbar vscroll = new Scrollbar();
+    protected Scrollbar hscroll = new Scrollbar();
+    protected Panel seqPanelHolder = new Panel();
+    BorderLayout borderLayout1 = new BorderLayout();
+    BorderLayout borderLayout3 = new BorderLayout();
+    protected Panel scalePanelHolder = new Panel();
+    protected Panel idPanelHolder = new Panel();
+    BorderLayout borderLayout5 = new BorderLayout();
+    protected Panel idSpaceFillerPanel1 = new Panel();
+    public Panel annotationSpaceFillerHolder = new Panel();
+    BorderLayout borderLayout6 = new BorderLayout();
+    BorderLayout borderLayout7 = new BorderLayout();
+    Panel hscrollHolder = new Panel();
+    BorderLayout borderLayout10 = new BorderLayout();
+    protected Panel hscrollFillerPanel = new Panel();
+    BorderLayout borderLayout11 = new BorderLayout();
+    public Panel annotationScroller = new Panel();
+    BorderLayout borderLayout4 = new BorderLayout();
+    BorderLayout borderLayout2 = new BorderLayout();
+
+    public GAlignmentPanel() {
+        try {
+            jbInit();
+        } catch (Exception e) {
+            e.printStackTrace();
+        }
     }
-  }
-  private void jbInit() throws Exception
-  {
-  //  idPanelHolder.setPreferredSize(new Dimension(70, 10));
-    this.setLayout(borderLayout7);
- //   sequenceHolderPanel.setPreferredSize(new Dimension(150, 150));
-    sequenceHolderPanel.setLayout(borderLayout3);
-    seqPanelHolder.setLayout(borderLayout1);
-    scalePanelHolder.setBackground(Color.white);
- // scalePanelHolder.setPreferredSize(new Dimension(10, 30));
-    scalePanelHolder.setLayout(borderLayout6);
-    idPanelHolder.setLayout(borderLayout5);
-    idSpaceFillerPanel1.setBackground(Color.white);
-  //  idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));
-    idSpaceFillerPanel1.setLayout(borderLayout11);
-    annotationSpaceFillerHolder.setBackground(Color.white);
-  //  annotationSpaceFillerHolder.setPreferredSize(new Dimension(10, 80));
-    annotationSpaceFillerHolder.setLayout(borderLayout4);
-    hscroll.setOrientation(Scrollbar.HORIZONTAL);
-    hscrollHolder.setLayout(borderLayout10);
-    hscrollFillerPanel.setBackground(Color.white);
-  //  hscrollFillerPanel.setPreferredSize(new Dimension(70, 10));
-    hscrollHolder.setBackground(Color.white);
- //    annotationScroller.setPreferredSize(new Dimension(10, 80));
-  //  this.setPreferredSize(new Dimension(220, 166));
-    seqPanelHolder.setBackground(Color.white);
-    idPanelHolder.setBackground(Color.white);
-    annotationScroller.setLayout(borderLayout2);
-    sequenceHolderPanel.add(scalePanelHolder,  BorderLayout.NORTH);
-    sequenceHolderPanel.add(seqPanelHolder,  BorderLayout.CENTER);
-    seqPanelHolder.add(vscroll, BorderLayout.EAST);
-    sequenceHolderPanel.add(annotationScroller, BorderLayout.SOUTH);
-  //  Panel3.add(secondaryPanelHolder,  BorderLayout.SOUTH);
-    this.add(idPanelHolder, BorderLayout.WEST);
-    idPanelHolder.add(idSpaceFillerPanel1,  BorderLayout.NORTH);
-    idPanelHolder.add(annotationSpaceFillerHolder, BorderLayout.SOUTH);
-    this.add(hscrollHolder,  BorderLayout.SOUTH);
-    hscrollHolder.add(hscroll, BorderLayout.CENTER);
-    hscrollHolder.add(hscrollFillerPanel,  BorderLayout.WEST);
-    this.add(sequenceHolderPanel,  BorderLayout.CENTER);
-  }
 
+    private void jbInit() throws Exception {
+        //  idPanelHolder.setPreferredSize(new Dimension(70, 10));
+        this.setLayout(borderLayout7);
+
+        //   sequenceHolderPanel.setPreferredSize(new Dimension(150, 150));
+        sequenceHolderPanel.setLayout(borderLayout3);
+        seqPanelHolder.setLayout(borderLayout1);
+        scalePanelHolder.setBackground(Color.white);
+
+        // scalePanelHolder.setPreferredSize(new Dimension(10, 30));
+        scalePanelHolder.setLayout(borderLayout6);
+        idPanelHolder.setLayout(borderLayout5);
+        idSpaceFillerPanel1.setBackground(Color.white);
 
+        //  idSpaceFillerPanel1.setPreferredSize(new Dimension(10, 30));
+        idSpaceFillerPanel1.setLayout(borderLayout11);
+        annotationSpaceFillerHolder.setBackground(Color.white);
+
+        //  annotationSpaceFillerHolder.setPreferredSize(new Dimension(10, 80));
+        annotationSpaceFillerHolder.setLayout(borderLayout4);
+        hscroll.setOrientation(Scrollbar.HORIZONTAL);
+        hscrollHolder.setLayout(borderLayout10);
+        hscrollFillerPanel.setBackground(Color.white);
+
+        //  hscrollFillerPanel.setPreferredSize(new Dimension(70, 10));
+        hscrollHolder.setBackground(Color.white);
+
+        //    annotationScroller.setPreferredSize(new Dimension(10, 80));
+        //  this.setPreferredSize(new Dimension(220, 166));
+        seqPanelHolder.setBackground(Color.white);
+        idPanelHolder.setBackground(Color.white);
+        annotationScroller.setLayout(borderLayout2);
+        sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
+        sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
+        seqPanelHolder.add(vscroll, BorderLayout.EAST);
+        sequenceHolderPanel.add(annotationScroller, BorderLayout.SOUTH);
+
+        //  Panel3.add(secondaryPanelHolder,  BorderLayout.SOUTH);
+        this.add(idPanelHolder, BorderLayout.WEST);
+        idPanelHolder.add(idSpaceFillerPanel1, BorderLayout.NORTH);
+        idPanelHolder.add(annotationSpaceFillerHolder, BorderLayout.SOUTH);
+        this.add(hscrollHolder, BorderLayout.SOUTH);
+        hscrollHolder.add(hscroll, BorderLayout.CENTER);
+        hscrollHolder.add(hscrollFillerPanel, BorderLayout.WEST);
+        this.add(sequenceHolderPanel, BorderLayout.CENTER);
+    }
 }