X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FAlignmentPanel.java;h=db3cb8c2837c28018dce334d8fddacec76b7e958;hb=7bc226b58110fa26d9dbd3f0c78095d06909ffc3;hp=39e9d030cf3e9af47a8a616f4f7f67f16cabd523;hpb=dd74fc4938723fe5ec48d4e5fdcfbe58ac42a48d;p=jalview.git

diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java
index 39e9d03..db3cb8c 100755
--- a/src/jalview/appletgui/AlignmentPanel.java
+++ b/src/jalview/appletgui/AlignmentPanel.java
@@ -1,6 +1,6 @@
 /*
  * Jalview - A Sequence Alignment Editor and Viewer
- * Copyright (C) 2006 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
+ * Copyright (C) 2007 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
@@ -24,7 +24,8 @@ import java.awt.event.*;
 
 import jalview.datamodel.*;
 
-public class AlignmentPanel extends Panel implements AdjustmentListener
+public class AlignmentPanel
+    extends Panel implements AdjustmentListener
 {
 
   AlignViewport av;
@@ -40,8 +41,6 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
   // this value is set false when selection area being dragged
   boolean fastPaint = true;
 
-
-
   public AlignmentPanel(AlignFrame af, final AlignViewport av)
   {
     try
@@ -53,7 +52,6 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       e.printStackTrace();
     }
 
-
     alignFrame = af;
     this.av = av;
     seqPanel = new SeqPanel(av, this);
@@ -117,13 +115,14 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
 
   }
 
-
   public void alignmentChanged()
   {
     av.alignmentChanged(this);
 
     if (overviewPanel != null)
+    {
       overviewPanel.updateOverviewImage();
+    }
 
     alignFrame.updateEditMenuBar();
 
@@ -145,15 +144,17 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     annotationPanel.repaint();
     Dimension d = calculateIdWidth();
     d.setSize(d.width + 4, seqPanel.seqCanvas.getSize().height);
-    alabels.setSize(d.width+4, ap );
+    alabels.setSize(d.width + 4, ap);
     idPanel.idCanvas.setSize(d);
     hscrollFillerPanel.setSize(d);
 
     validate();
     repaint();
 
-    if(overviewPanel!=null)
-          overviewPanel.updateOverviewImage();
+    if (overviewPanel != null)
+    {
+      overviewPanel.updateOverviewImage();
+    }
   }
 
   public void setIdWidth(int w, int h)
@@ -215,7 +216,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
   {
     seqPanel.seqCanvas.highlightSearchResults(results);
 
-   // do we need to scroll the panel?
+    // do we need to scroll the panel?
     if (results != null)
     {
       SequenceI seq = results.getResultSequence(0);
@@ -223,30 +224,34 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       int start = seq.findIndex(results.getResultStart(0)) - 1;
       int end = seq.findIndex(results.getResultEnd(0)) - 1;
 
-        if(!av.wrapAlignment)
+      if (!av.wrapAlignment)
+      {
+        if ( (av.getStartRes() > end) || (av.getEndRes() < start) ||
+            ( (av.getStartSeq() > seqIndex) || (av.getEndSeq() < seqIndex)))
         {
-          if ( (av.getStartRes() > end)  || (av.getEndRes() < start) ||
-             ( (av.getStartSeq() > seqIndex) || (av.getEndSeq() < seqIndex)))
+          if (start > av.alignment.getWidth() - hextent)
           {
-            if (start > av.alignment.getWidth() - hextent)
+            start = av.alignment.getWidth() - hextent;
+            if (start < 0)
             {
-              start = av.alignment.getWidth() - hextent;
-              if (start < 0)
-                start = 0;
+              start = 0;
             }
-            if (seqIndex > av.alignment.getHeight() - vextent)
+          }
+          if (seqIndex > av.alignment.getHeight() - vextent)
+          {
+            seqIndex = av.alignment.getHeight() - vextent;
+            if (seqIndex < 0)
             {
-              seqIndex = av.alignment.getHeight() - vextent;
-              if (seqIndex < 0)
-                seqIndex = 0;
+              seqIndex = 0;
             }
-            setScrollValues(start, seqIndex);
           }
+          setScrollValues(start, seqIndex);
         }
-        else
-        {
-          scrollToWrappedVisible(start);
-        }
+      }
+      else
+      {
+        scrollToWrappedVisible(start);
+      }
     }
 
     repaint();
@@ -254,7 +259,8 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
 
   void scrollToWrappedVisible(int res)
   {
-    int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getSize().width);
+    int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.
+        getSize().width);
     if (res <= av.getStartRes() || res >= (av.getStartRes() + cwidth))
     {
       vscroll.setValue(res / cwidth);
@@ -262,7 +268,6 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     }
   }
 
-
   public OverviewPanel getOverviewPanel()
   {
     return overviewPanel;
@@ -290,7 +295,6 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     av.startRes = 0;
     scalePanelHolder.setVisible(!wrap);
 
-
     hscroll.setVisible(!wrap);
     idwidthAdjuster.setVisible(!wrap);
 
@@ -305,17 +309,15 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       annotationSpaceFillerHolder.setVisible(true);
     }
 
-
     idSpaceFillerPanel1.setVisible(!wrap);
 
-    fontChanged();//This is so that the scalePanel is resized correctly
+    fontChanged(); //This is so that the scalePanel is resized correctly
 
     validate();
     repaint();
 
   }
 
-
   int hextent = 0;
   int vextent = 0;
 
@@ -328,7 +330,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       {
         return false;
       }
-      setScrollValues(hscroll.getValue(), vscroll.getValue()-1);
+      setScrollValues(hscroll.getValue(), vscroll.getValue() - 1);
     }
     else
     {
@@ -336,7 +338,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       {
         return false;
       }
-      setScrollValues(hscroll.getValue(), vscroll.getValue()+1);
+      setScrollValues(hscroll.getValue(), vscroll.getValue() + 1);
     }
 
     repaint();
@@ -351,7 +353,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       {
         return false;
       }
-      setScrollValues(hscroll.getValue()-1, vscroll.getValue());
+      setScrollValues(hscroll.getValue() - 1, vscroll.getValue());
     }
     else
     {
@@ -359,7 +361,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       {
         return false;
       }
-      setScrollValues(hscroll.getValue()+1, vscroll.getValue());
+      setScrollValues(hscroll.getValue() + 1, vscroll.getValue());
     }
 
     repaint();
@@ -371,11 +373,13 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     int width = av.alignment.getWidth();
     int height = av.alignment.getHeight();
 
-    if(av.hasHiddenColumns)
-     width = av.getColumnSelection().findColumnPosition(width);
+    if (av.hasHiddenColumns)
+    {
+      width = av.getColumnSelection().findColumnPosition(width);
+    }
 
     av.setStartRes(x);
-    av.setEndRes( (x + (seqPanel.seqCanvas.getSize().width / av.charWidth)) -1);
+    av.setEndRes( (x + (seqPanel.seqCanvas.getSize().width / av.charWidth)) - 1);
 
     hextent = seqPanel.seqCanvas.getSize().width / av.charWidth;
     vextent = seqPanel.seqCanvas.getSize().height / av.charHeight;
@@ -422,8 +426,10 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     hscroll.setValues(x, hextent, 0, width);
     vscroll.setValues(y, vextent, 0, height);
 
-    if(overviewPanel!=null)
-          overviewPanel.setBoxPosition();
+    if (overviewPanel != null)
+    {
+      overviewPanel.setBoxPosition();
+    }
 
   }
 
@@ -432,8 +438,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     int oldX = av.getStartRes();
     int oldY = av.getStartSeq();
 
-
-    if (evt==null || evt.getSource() == hscroll)
+    if (evt == null || evt.getSource() == hscroll)
     {
       int x = hscroll.getValue();
       av.setStartRes(x);
@@ -441,8 +446,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
                    1);
     }
 
-
-    if (evt==null || evt.getSource() == vscroll)
+    if (evt == null || evt.getSource() == vscroll)
     {
       int offy = vscroll.getValue();
       if (av.getWrapAlignment())
@@ -476,12 +480,14 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     {
       // Make sure we're not trying to draw a panel
       // larger than the visible window
-      if(scrollX>av.endRes-av.startRes)
+      if (scrollX > av.endRes - av.startRes)
       {
         scrollX = av.endRes - av.startRes;
       }
-      else if(scrollX<av.startRes-av.endRes)
+      else if (scrollX < av.startRes - av.endRes)
+      {
         scrollX = av.startRes - av.endRes;
+      }
 
       idPanel.idCanvas.fastPaint(scrollY);
       seqPanel.seqCanvas.fastPaint(scrollX,
@@ -516,12 +522,14 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
       int maxwidth = av.alignment.getWidth();
 
       if (av.hasHiddenColumns)
+      {
         maxwidth = av.getColumnSelection().findColumnPosition(maxwidth) - 1;
+      }
 
       int canvasWidth = seqPanel.seqCanvas.getWrappedCanvasWidth
           (seqPanel.seqCanvas.getSize().width);
 
-      if(canvasWidth>0)
+      if (canvasWidth > 0)
       {
         int max = maxwidth / canvasWidth;
         vscroll.setMaximum(max);
@@ -544,7 +552,9 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
     if (getBounds() == g.getClipBounds())
     {
       if (overviewPanel != null)
+      {
         overviewPanel.updateOverviewImage();
+      }
     }
 
   }
@@ -569,49 +579,51 @@ public class AlignmentPanel extends Panel implements AdjustmentListener
   BorderLayout borderLayout4 = new BorderLayout();
   BorderLayout borderLayout2 = new BorderLayout();
 
-  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);
-      sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
-      sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
-      seqPanelHolder.add(vscroll, BorderLayout.EAST);
-
-      //  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);
+    sequenceHolderPanel.add(scalePanelHolder, BorderLayout.NORTH);
+    sequenceHolderPanel.add(seqPanelHolder, BorderLayout.CENTER);
+    seqPanelHolder.add(vscroll, BorderLayout.EAST);
+
+    //  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);
   }
 
 }