X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdCanvas.java;h=e30be30456316515640352d7c1693f1edbe2e8d1;hb=588042b69abf8e60bcc950b24c283933c7dd422f;hp=4f5288d924d0b16068f09d7bc26c4ce9ac8f98be;hpb=c80292bb7e300539b0ea8665ed3bee3fa6735dad;p=jalview.git

diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java
index 4f5288d..e30be30 100755
--- a/src/jalview/gui/IdCanvas.java
+++ b/src/jalview/gui/IdCanvas.java
@@ -1,94 +1,139 @@
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer
+ * Copyright (C) 2005 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
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * 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.gui;
 
 import java.awt.*;
-import java.awt.Graphics2D.*;
 import java.awt.image.*;
 import javax.swing.*;
-import jalview.datamodel.*;
+
 import jalview.analysis.*;
-public class IdCanvas extends JPanel
+import jalview.datamodel.*;
+
+public class IdCanvas
+    extends JPanel
 {
   protected AlignViewport av;
-
-  protected boolean showScores  = true;
-
-  protected int     maxIdLength = -1;
-  protected String  maxIdStr    = null;
+  protected boolean showScores = true;
+  protected int maxIdLength = -1;
+  protected String maxIdStr = null;
   BufferedImage image;
   Graphics2D gg;
-  int imgHeight=0;
+  int imgHeight = 0;
   boolean fastPaint = false;
-
   java.util.Vector searchResults;
 
   public IdCanvas(AlignViewport av)
   {
     setLayout(new BorderLayout());
-    this.av         = av;
+    this.av = av;
     PaintRefresher.Register(this);
   }
 
-  public void drawIdString(Graphics2D gg,SequenceI s,int i, int starty, int ypos) {
-      int charHeight = av.getCharHeight();
+  public void drawIdString(Graphics2D gg, SequenceI s, int i, int starty,
+                           int ypos)
+  {
+    int charHeight = av.getCharHeight();
 
-      if(searchResults!=null && searchResults.contains(s))
-      {
-        gg.setColor(Color.black);
-        gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
-        gg.setColor(Color.white);
-      }
-      else if (av.getSelectionGroup()!=null && av.getSelectionGroup().sequences.contains(s)) {
-	  gg.setColor(Color.lightGray);
-	  gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
-	  gg.setColor(Color.white);
-      } else {
-	  gg.setColor(s.getColor());
-	  gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
-	  gg.setColor(Color.black);
-      }
+    if ( (searchResults != null) && searchResults.contains(s))
+    {
+      gg.setColor(Color.black);
+      gg.fillRect(0,
+                  AlignmentUtil.getPixelHeight(starty, i, charHeight) + ypos,
+                  getWidth(), charHeight);
+      gg.setColor(Color.white);
+    }
+    else if ( (av.getSelectionGroup() != null) &&
+             av.getSelectionGroup().sequences.contains(s))
+    {
+      gg.setColor(Color.lightGray);
+      gg.fillRect(0,
+                  AlignmentUtil.getPixelHeight(starty, i, charHeight) + ypos,
+                  getWidth(), charHeight);
+      gg.setColor(Color.white);
+    }
+    else
+    {
+      gg.setColor(s.getColor());
+      gg.fillRect(0,
+                  AlignmentUtil.getPixelHeight(starty, i, charHeight) + ypos,
+                  getWidth(), charHeight);
+      gg.setColor(Color.black);
+    }
 
-      String string = s.getName();
-      if(av.getShowFullId())
-        string = s.getDisplayId();
+    String string = s.getName();
 
-      gg.drawString(string,0,AlignmentUtil.getPixelHeight(starty,i,charHeight) + ypos + charHeight-   (charHeight/5));
+    if (av.getShowFullId())
+    {
+      string = s.getDisplayId();
+    }
 
+    gg.drawString(string, 0,
+                  (AlignmentUtil.getPixelHeight(starty, i, charHeight) + ypos +
+                   charHeight) - (charHeight / 5));
   }
 
   public void fastPaint(int vertical)
   {
-    if(gg==null)
-    {  repaint(); return;}
+    if (gg == null)
+    {
+      repaint();
 
-    gg.copyArea( 0,0, getWidth(), imgHeight, 0, -vertical*av.charHeight );
+      return;
+    }
 
-    int ss=av.startSeq, es=av.endSeq, transY = 0;
-    if (vertical > 0) // scroll down
-     {
-       ss = es - vertical;
-       if(ss<av.startSeq) // ie scrolling too fast, more than a page at a time
-         ss = av.startSeq;
-       else
-         transY = imgHeight - vertical * av.charHeight;
-     }
-     else if (vertical < 0)
-     {
-       es = ss - vertical;
-       if(es > av.endSeq)
-         es = av.endSeq;
-     }
+    gg.copyArea(0, 0, getWidth(), imgHeight, 0, -vertical * av.charHeight);
 
+    int ss = av.startSeq;
+    int es = av.endSeq;
+    int transY = 0;
 
+    if (vertical > 0) // scroll down
+    {
+      ss = es - vertical;
+
+      if (ss < av.startSeq)
+      { // ie scrolling too fast, more than a page at a time
+        ss = av.startSeq;
+      }
+      else
+      {
+        transY = imgHeight - (vertical * av.charHeight);
+      }
+    }
+    else if (vertical < 0)
+    {
+      es = ss - vertical;
 
-        gg.translate(0, transY);
+      if (es > av.endSeq)
+      {
+        es = av.endSeq;
+      }
+    }
 
-        drawIds(ss, es);
+    gg.translate(0, transY);
 
-        gg.translate( 0, -transY );
+    drawIds(ss, es);
 
+    gg.translate(0, -transY);
 
-      fastPaint = true;
-      repaint();
+    fastPaint = true;
+    repaint();
   }
 
   public void paintComponent(Graphics g)
@@ -100,70 +145,74 @@ public class IdCanvas extends JPanel
     {
       fastPaint = false;
       g.drawImage(image, 0, 0, this);
+
       return;
     }
 
     imgHeight = getHeight();
-    imgHeight -= imgHeight % av.charHeight;
+    imgHeight -= (imgHeight % av.charHeight);
 
-    if (imgHeight<1)
+    if (imgHeight < 1)
+    {
       return;
+    }
 
-    image = new BufferedImage(getWidth(), imgHeight, BufferedImage.TYPE_INT_RGB);
+    image = new BufferedImage(getWidth(), imgHeight,
+                              BufferedImage.TYPE_INT_RGB);
     gg = (Graphics2D) image.getGraphics();
+
     //Fill in the background
     gg.setColor(Color.white);
     gg.fillRect(0, 0, getWidth(), imgHeight);
     gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
                         RenderingHints.VALUE_ANTIALIAS_ON);
+
     Font italic = new Font(av.getFont().getName(), Font.ITALIC,
                            av.getFont().getSize());
     gg.setFont(italic);
 
-    drawIds( av.getStartSeq(), av.endSeq);
+    drawIds(av.getStartSeq(), av.endSeq);
 
     g.drawImage(image, 0, 0, this);
   }
 
   void drawIds(int starty, int endy)
   {
-    Color currentColor     = Color.white;
+    Color currentColor = Color.white;
     Color currentTextColor = Color.black;
 
     if (av.getWrapAlignment())
     {
+      int rowSize = av.getEndRes() - av.getStartRes();
 
-          int rowSize =  av.getEndRes() - av.getStartRes();
-          // Draw the rest of the panels
-
-          for(int ypos=2*av.charHeight, row=av.startRes;
-              ypos <= getHeight() && row<av.alignment.getWidth();
-              ypos += av.chunkHeight, row+=rowSize )
-          {
-            for (int i = starty; i < av.alignment.getHeight(); i++)
-            {
-              SequenceI s = av.alignment.getSequenceAt(i);
-              drawIdString(gg, s, i, 0, ypos);
-            }
-          }
-
-
-    } else
+      // Draw the rest of the panels
+      for (int ypos = 2 * av.charHeight, row = av.startRes;
+           (ypos <= getHeight()) && (row < av.alignment.getWidth());
+           ypos += av.chunkHeight, row += rowSize)
+      {
+        for (int i = starty; i < av.alignment.getHeight(); i++)
+        {
+          SequenceI s = av.alignment.getSequenceAt(i);
+          drawIdString(gg, s, i, 0, ypos);
+        }
+      }
+    }
+    else
     {
-
       //Now draw the id strings
       for (int i = starty; i < endy; i++)
       {
         // Selected sequence colours
-
-        if(searchResults!=null && searchResults.contains(av.alignment.getSequenceAt(i)))
+        if ( (searchResults != null) &&
+            searchResults.contains(av.alignment.getSequenceAt(i)))
         {
           gg.setColor(Color.black);
           currentColor = Color.black;
           currentTextColor = Color.white;
-      }
-      else if (av.getSelectionGroup()!= null
-            && av.getSelectionGroup().sequences.contains(av.alignment.getSequenceAt(i)))
+        }
+        else if ( (av.getSelectionGroup() != null) &&
+                 av.getSelectionGroup().sequences.contains(
+                     av.alignment.getSequenceAt(i)))
         {
           currentColor = Color.lightGray;
           currentTextColor = Color.black;
@@ -178,23 +227,26 @@ public class IdCanvas extends JPanel
 
         gg.fillRect(0,
                     AlignmentUtil.getPixelHeight(starty, i, av.charHeight),
-                    getWidth(),
-                    av.charHeight);
+                    getWidth(), av.charHeight);
 
         gg.setColor(currentTextColor);
+
         String string = av.alignment.getSequenceAt(i).getName();
-        if(av.getShowFullId())
+
+        if (av.getShowFullId())
+        {
           string = av.alignment.getSequenceAt(i).getDisplayId();
+        }
+
         gg.drawString(string, 0,
-                      AlignmentUtil.getPixelHeight(starty, i, av.charHeight) +
-                      av.charHeight - (av.charHeight / 5));
+                      (AlignmentUtil.getPixelHeight(starty, i, av.charHeight) +
+                       av.charHeight) - (av.charHeight / 5));
       }
 
       // add a border
       gg.setColor(Color.white);
-      gg.fillRect(getWidth()-4,0,4,getHeight());
+      gg.fillRect(getWidth() - 4, 0, 4, getHeight());
     }
-
   }
 
   public void setHighlighted(java.util.Vector found)