X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FSeqCanvas.java;h=3202fc44e803b1a56999cbabd7d2b827e0b71edf;hb=7bf593f3593a0392fb01d78644f7bfd75762a87e;hp=e0288198d9126b98694e712de7c4a6409a2e60ec;hpb=c80292bb7e300539b0ea8665ed3bee3fa6735dad;p=jalview.git

diff --git a/src/jalview/appletgui/SeqCanvas.java b/src/jalview/appletgui/SeqCanvas.java
index e028819..3202fc4 100755
--- a/src/jalview/appletgui/SeqCanvas.java
+++ b/src/jalview/appletgui/SeqCanvas.java
@@ -1,41 +1,60 @@
+/*
+ * 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.appletgui;
 
 import java.awt.*;
-import jalview.datamodel.*;
-import jalview.analysis.*;
 
+import jalview.analysis.*;
+import jalview.datamodel.*;
 
-public class SeqCanvas extends Panel
+public class SeqCanvas
+    extends Panel
 {
-    FeatureRenderer fr;
-    SequenceRenderer sr;
-    Image             img;
-    Graphics          gg;
-    int               imgWidth;
-    int               imgHeight;
-
-    AlignViewport     av;
+  FeatureRenderer fr;
+  SequenceRenderer sr;
+  Image img;
+  Graphics gg;
+  int imgWidth;
+  int imgHeight;
 
-    boolean showScores = false;
-    boolean displaySearch = false;
-    int [] searchResults = null;
+  AlignViewport av;
 
-    int chunkHeight;
-    int chunkWidth;
+  boolean displaySearch = false;
+  int[] searchResults = null;
 
-    boolean fastPaint = false;
+  int chunkHeight;
+  int chunkWidth;
 
+  boolean fastPaint = false;
 
-    public SeqCanvas(AlignViewport av)
-    {
-	this.av         = av;
-       fr = new FeatureRenderer(av);
-       sr = new SequenceRenderer(av);
-       PaintRefresher.Register(this);
+  public SeqCanvas(AlignViewport av)
+  {
+    this.av = av;
+    fr = new FeatureRenderer(av);
+    sr = new SequenceRenderer(av);
+    PaintRefresher.Register(this, av.alignment);
 
-    }
+  }
 
-  void drawNorthScale(Graphics g, int startx, int endx,int ypos) {
+  void drawNorthScale(Graphics g, int startx, int endx, int ypos)
+  {
     int scalestartx = startx - startx % 10 + 10;
 
     g.setColor(Color.black);
@@ -57,8 +76,8 @@ public class SeqCanvas extends Panel
   void drawWestScale(Graphics g, int startx, int endx, int ypos)
   {
     FontMetrics fm = getFontMetrics(av.getFont());
-    ypos+= av.charHeight;
-      // EAST SCALE
+    ypos += av.charHeight;
+    // EAST SCALE
     for (int i = 0; i < av.alignment.getHeight(); i++)
     {
       SequenceI seq = av.alignment.getSequenceAt(i);
@@ -75,46 +94,50 @@ public class SeqCanvas extends Panel
         value = av.alignment.getSequenceAt(i).findPosition(index);
         break;
       }
-      if(value!=-1)
+      if (value != -1)
       {
-        int x = LABEL_WEST - fm.stringWidth(value+"");
-        g.drawString(value + "", x,  ypos +  i*av.charHeight - av.charHeight/5);
+        int x = LABEL_WEST - fm.stringWidth(String.valueOf(value))-av.charWidth/2;
+        g.drawString(value + "", x,
+                     ypos + i * av.charHeight - av.charHeight / 5);
       }
     }
   }
 
   void drawEastScale(Graphics g, int startx, int endx, int ypos)
-{
-    ypos+= av.charHeight;
-    // EAST SCALE
-  for (int i = 0; i < av.alignment.getHeight(); i++)
   {
-    SequenceI seq = av.alignment.getSequenceAt(i);
-    int index = endx;
-    int value = -1;
-    while (index > startx)
+    ypos += av.charHeight;
+    // EAST SCALE
+    for (int i = 0; i < av.alignment.getHeight(); i++)
     {
-      if (jalview.util.Comparison.isGap(seq.getCharAt(index)))
+      SequenceI seq = av.alignment.getSequenceAt(i);
+      int index = endx;
+      int value = -1;
+      while (index > startx)
       {
-        index--;
-        continue;
-      }
+        if (jalview.util.Comparison.isGap(seq.getCharAt(index)))
+        {
+          index--;
+          continue;
+        }
 
-      value = av.alignment.getSequenceAt(i).findPosition(index);
-      break;
+        value = av.alignment.getSequenceAt(i).findPosition(index);
+        break;
+      }
+      if (value != -1)
+      {
+        g.drawString(value + "", av.charWidth/2,
+                     ypos + i * av.charHeight - av.charHeight / 5);
+      }
     }
-    if(value!=-1)
-       g.drawString(value + "", 0,  ypos +  i*av.charHeight - av.charHeight/5);
-  }
-
-}
-
 
+  }
 
-public void fastPaint(int horizontal, int vertical)
-{
-    if (horizontal == 0 && vertical == 0 || gg==null)
+  public void fastPaint(int horizontal, int vertical)
+  {
+    if (horizontal == 0 && vertical == 0 || gg == null)
+    {
       return;
+    }
 
     gg.copyArea(0, 0, imgWidth, imgHeight, -horizontal * av.charWidth,
                 -vertical * av.charHeight);
@@ -127,46 +150,53 @@ public void fastPaint(int horizontal, int vertical)
       sr = er - horizontal;
     }
     else if (horizontal < 0)
+    {
       er = sr - horizontal;
+    }
 
     else if (vertical > 0) // scroll down
     {
       ss = es - vertical;
-      if(ss<av.startSeq) // ie scrolling too fast, more than a page at a time
+      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)
+      if (es > av.endSeq)
+      {
         es = av.endSeq;
+      }
     }
 
-
     gg.translate(transX, transY);
 
     gg.setColor(Color.white);
-    gg.fillRect(0,0, (er-sr+1)*av.charWidth, (es-ss)*av.charHeight);
+    gg.fillRect(0, 0, (er - sr + 1) * av.charWidth, (es - ss) * av.charHeight);
     drawPanel(gg, sr, er, ss, es, sr, ss, 0);
     gg.translate( -transX, -transY);
 
     fastPaint = true;
     repaint();
 
-}
+  }
 
-/**
- * Definitions of startx and endx (hopefully):
- * SMJS This is what I'm working towards!
- *   startx is the first residue (starting at 0) to display.
- *   endx   is the last residue to display (starting at 0).
- *   starty is the first sequence to display (starting at 0).
- *   endy   is the last sequence to display (starting at 0).
- * NOTE 1: The av limits are set in setFont in this class and
- * in the adjustment listener in SeqPanel when the scrollbars move.
- */
+  /**
+   * Definitions of startx and endx (hopefully):
+   * SMJS This is what I'm working towards!
+   *   startx is the first residue (starting at 0) to display.
+   *   endx   is the last residue to display (starting at 0).
+   *   starty is the first sequence to display (starting at 0).
+   *   endy   is the last sequence to display (starting at 0).
+   * NOTE 1: The av limits are set in setFont in this class and
+   * in the adjustment listener in SeqPanel when the scrollbars move.
+   */
   public void update(Graphics g)
   {
     paint(g);
@@ -182,36 +212,43 @@ public void fastPaint(int horizontal, int vertical)
     }
 
     // this draws the whole of the alignment
-      imgWidth  = this.getSize().width;
-      imgHeight = this.getSize().height;
+    imgWidth = this.getSize().width;
+    imgHeight = this.getSize().height;
 
-      imgWidth -= imgWidth%av.charWidth;
-      imgHeight-= imgHeight%av.charHeight;
+    imgWidth -= imgWidth % av.charWidth;
+    imgHeight -= imgHeight % av.charHeight;
 
-      if(imgWidth<1 || imgHeight<1)
-              return;
+    if (imgWidth < 1 || imgHeight < 1)
+    {
+      return;
+    }
 
-      if(img==null || imgWidth!=img.getWidth(this) || imgHeight!=img.getHeight(this))
-      {
-        img = createImage(imgWidth, imgHeight);
-        gg = img.getGraphics();
-        gg.setFont(av.getFont());
-      }
+    if (img == null || imgWidth != img.getWidth(this) ||
+        imgHeight != img.getHeight(this))
+    {
+      img = createImage(imgWidth, imgHeight);
+      gg = img.getGraphics();
+      gg.setFont(av.getFont());
+    }
 
-      gg.setColor(Color.white);
-      gg.fillRect(0,0,imgWidth,imgHeight);
+    gg.setColor(Color.white);
+    gg.fillRect(0, 0, imgWidth, imgHeight);
 
-    chunkWidth  =   getWrappedCanvasWidth( getSize().width );
-    chunkHeight =  (av.getAlignment().getHeight() + 2)*av.charHeight;
+    chunkWidth = getWrappedCanvasWidth(getSize().width);
+    chunkHeight = (av.getAlignment().getHeight() + 2) * av.charHeight;
 
     av.setChunkHeight(chunkHeight);
     av.setChunkWidth(chunkWidth);
 
-
     if (av.getWrapAlignment())
+    {
       drawWrappedPanel(gg, getSize().width, getSize().height, av.startRes);
+    }
     else
-      drawPanel(gg, av.startRes, av.endRes, av.startSeq, av.endSeq, av.startRes, av.startSeq, 0);
+    {
+      drawPanel(gg, av.startRes, av.endRes, av.startSeq, av.endSeq, av.startRes,
+                av.startSeq, 0);
+    }
 
     g.drawImage(img, 0, 0, this);
 
@@ -220,89 +257,123 @@ public void fastPaint(int horizontal, int vertical)
   int LABEL_WEST, LABEL_EAST;
   public int getWrappedCanvasWidth(int cwidth)
   {
-    FontMetrics fm = getFontMetrics(av.getFont());
+      FontMetrics fm = getFontMetrics(av.getFont());
 
-    LABEL_EAST = 0;
-    LABEL_WEST = 0;
+      LABEL_EAST = 0;
+      LABEL_WEST = 0;
 
-    if(av.scaleRightWrapped)
-      LABEL_EAST = fm.stringWidth( av.alignment.getWidth()+"000" );
+      if (av.scaleRightWrapped)
+      {
+          LABEL_EAST = fm.stringWidth(getMask()+"0");
+      }
 
-    if(av.scaleLeftWrapped)
-      LABEL_WEST = fm.stringWidth( av.alignment.getWidth()+"" );
+      if (av.scaleLeftWrapped)
+      {
+          LABEL_WEST = fm.stringWidth(getMask());
+      }
 
-    return  (cwidth - LABEL_EAST -LABEL_WEST)/av.charWidth;
+      return (cwidth - LABEL_EAST - LABEL_WEST) / av.charWidth;
   }
 
-  public void drawWrappedPanel(Graphics g, int canvasWidth, int canvasHeight, int startRes)
+
+  /**
+   * Generates a string of zeroes.
+   * @return String
+   */
+  String getMask()
   {
-      AlignmentI al = av.getAlignment();
+    String mask = "0";
+    for (int i = av.alignment.getWidth(); i > 0; i /= 10)
+    {
+      mask += "0";
+    }
+    return mask;
+    }
 
-      FontMetrics fm = getFontMetrics(av.getFont());
+  public void drawWrappedPanel(Graphics g, int canvasWidth, int canvasHeight,
+                               int startRes)
+  {
+    AlignmentI al = av.getAlignment();
 
-      int LABEL_EAST = 0;
-      if(av.scaleRightWrapped)
-        LABEL_EAST = fm.stringWidth( al.getWidth()+"000" );
-      int LABEL_WEST = 0;
-      if(av.scaleLeftWrapped)
-        LABEL_WEST = fm.stringWidth(al.getWidth()+"0");
+    FontMetrics fm = getFontMetrics(av.getFont());
+
+    if (av.scaleRightWrapped)
+    {
+        LABEL_EAST = fm.stringWidth(getMask()+"0");
+    }
 
+    int LABEL_WEST = 0;
 
-      int cWidth  =   (canvasWidth - LABEL_EAST -LABEL_WEST)/av.charWidth;
-      int cHeight =  (av.getAlignment().getHeight() + 2)*av.charHeight;
+    if (av.scaleLeftWrapped)
+    {
+        LABEL_WEST = fm.stringWidth(getMask());
+    }
 
-      av.endRes = av.startRes + cWidth;
+    int cWidth = (canvasWidth - LABEL_EAST - LABEL_WEST) / av.charWidth;
+    int cHeight = (av.getAlignment().getHeight() + 2) * av.charHeight;
 
-      int  endx   = startRes+cWidth-1;
-      int  ypos  = 2*av.charHeight;
+    av.endRes = av.startRes + cWidth;
 
-      while (ypos <= canvasHeight && startRes<av.alignment.getWidth() )
+    int endx = startRes + cWidth - 1;
+    int ypos = 2 * av.charHeight;
+
+    while (ypos <= canvasHeight && startRes < av.alignment.getWidth())
+    {
+      g.setColor(Color.black);
+
+      if (av.scaleLeftWrapped)
       {
-        g.setColor(Color.black);
+        drawWestScale(g, startRes, endx, ypos);
+      }
 
-        if(av.scaleLeftWrapped)
-          drawWestScale(g, startRes, endx, ypos);
+      if (av.scaleRightWrapped)
+      {
+        g.translate(canvasWidth - LABEL_EAST, 0);
+        drawEastScale(g, startRes, endx, ypos);
+        g.translate( - (canvasWidth - LABEL_EAST), 0);
+      }
 
-        if(av.scaleRightWrapped)
-        {
-          g.translate(canvasWidth - LABEL_EAST +av.charWidth, 0);
-          drawEastScale(g, startRes, endx, ypos);
-          g.translate( - (canvasWidth - LABEL_EAST+av.charWidth), 0);
-        }
+      g.translate(LABEL_WEST, 0);
+      if (av.scaleAboveWrapped)
+      {
+        drawNorthScale(g, startRes, endx, ypos);
+      }
 
-        g.translate(LABEL_WEST,0);
-        if(av.scaleAboveWrapped)
-          drawNorthScale(g, startRes, endx, ypos);
-
-
-        // When printing we have an extra clipped region,
-        // the Printable page which we need to account for here
-        Shape clip = g.getClip();
-        if(clip==null)
-          g.setClip(0, 0, cWidth*av.charWidth, canvasHeight);
-        else
-          g.setClip(0,
-                    (int)clip.getBounds().y,
-                    cWidth*av.charWidth,
-                    (int)clip.getBounds().height
-                    );
-
-        drawPanel(g, startRes, endx, 0, al.getHeight(), startRes, 0, ypos);
-        g.setClip(clip);
-        g.translate(-LABEL_WEST,0);
-
-        ypos += cHeight;
-        startRes += cWidth;
-        endx = startRes + cWidth - 1;
-
-        if (endx > al.getWidth())
-          endx = al.getWidth();
+      // When printing we have an extra clipped region,
+      // the Printable page which we need to account for here
+      Shape clip = g.getClip();
+      if (clip == null)
+      {
+        g.setClip(0, 0, cWidth * av.charWidth, canvasHeight);
+      }
+      else
+      {
+        g.setClip(0,
+                  (int) clip.getBounds().y,
+                  cWidth * av.charWidth,
+                  (int) clip.getBounds().height
+            );
       }
 
-  }
+      drawPanel(g, startRes, endx, 0, al.getHeight(), startRes, 0, ypos);
+      g.setClip(clip);
+      g.translate( -LABEL_WEST, 0);
+
+      ypos += cHeight;
+      startRes += cWidth;
+      endx = startRes + cWidth - 1;
+
+      if (endx > al.getWidth())
+      {
+        endx = al.getWidth();
+      }
+    }
 
+  }
 
-  synchronized public void drawPanel(Graphics g,int x1,int x2, int y1, int y2,int startx, int starty,int offset) {
+  synchronized public void drawPanel(Graphics g, int x1, int x2, int y1, int y2,
+                                     int startx, int starty, int offset)
+  {
 
     g.setFont(av.getFont());
     sr.renderGaps(av.renderGaps);
@@ -311,23 +382,24 @@ public void fastPaint(int horizontal, int vertical)
 
     /// First draw the sequences
     /////////////////////////////
-    for (int i = y1 ; i < y2 ;i++)
+    for (int i = y1; i < y2; i++)
     {
-     nextSeq = av.alignment.getSequenceAt(i);
-
-     sr.drawSequence(g, nextSeq, av.alignment.findAllGroups( nextSeq ),x1,x2,
-                 (x1 - startx) * av.charWidth,
-                 offset + AlignmentUtil.getPixelHeight(starty, i, av.charHeight),
-                 av.charWidth,av.charHeight);
-
-     if(av.showSequenceFeatures)
-     {
-       fr.drawSequence(g, nextSeq, av.alignment.findAllGroups( nextSeq ), x1, x2,
-                       (x1 - startx) * av.charWidth,
-                       offset +
-                       AlignmentUtil.getPixelHeight(starty, i, av.charHeight),
-                       av.charWidth, av.charHeight);
-     }
+      nextSeq = av.alignment.getSequenceAt(i);
+
+      sr.drawSequence(g, nextSeq, av.alignment.findAllGroups(nextSeq), x1, x2,
+                      (x1 - startx) * av.charWidth,
+                      offset +
+                      (i-starty)*av.charHeight,
+                      av.charWidth, av.charHeight);
+
+      if (av.showSequenceFeatures)
+      {
+        fr.drawSequence(g, nextSeq, av.alignment.findAllGroups(nextSeq), x1, x2,
+                        (x1 - startx) * av.charWidth,
+                        offset +
+                        (i-starty)*av.charHeight,
+                        av.charWidth, av.charHeight);
+      }
     }
     //
     /////////////////////////////////////
@@ -346,42 +418,47 @@ public void fastPaint(int horizontal, int vertical)
     }
 
     if (group != null)
+    {
       do
       {
         int oldY = -1;
         int i = 0;
         boolean inGroup = false;
-        int top=-1, bottom =-1;
+        int top = -1, bottom = -1;
         for (i = y1; i < y2; i++)
         {
           sx = (group.getStartRes() - startx) * av.charWidth;
-          sy = offset + AlignmentUtil.getPixelHeight(starty, i, av.charHeight);
-          ex = (group.getEndRes() + 1 - group.getStartRes()) * av.charWidth -1;
+          sy = offset + (i-starty)*av.charHeight;
+          ex = (group.getEndRes() + 1 - group.getStartRes()) * av.charWidth - 1;
 
           if (sx < getSize().width
               && ex > 0
               && group.sequences.contains(av.alignment.getSequenceAt(i)))
           {
-            if (bottom == -1 && (i==av.alignment.getHeight()-1 ||
-                !group.sequences.contains(av.alignment.getSequenceAt(i + 1))))
-              bottom = sy + av.charHeight ;
+            if (bottom == -1 && (i == av.alignment.getHeight() - 1 ||
+                                 !group.sequences.contains(av.alignment.
+                getSequenceAt(i + 1))))
+            {
+              bottom = sy + av.charHeight;
+            }
 
             if (!inGroup)
             {
-              if (top == -1 && i==0 ||
+              if (top == -1 && i == 0 ||
                   !group.sequences.contains(av.alignment.getSequenceAt(i - 1)))
+              {
                 top = sy;
-
+              }
 
               oldY = sy;
               inGroup = true;
               if (group == av.getSelectionGroup())
               {
-                    g.setColor(new Color(255,0,0));
+                g.setColor(new Color(255, 0, 0));
               }
               else
               {
-                    g.setColor(group.getOutlineColour());
+                g.setColor(group.getOutlineColour());
               }
             }
           }
@@ -389,13 +466,13 @@ public void fastPaint(int horizontal, int vertical)
           {
             if (inGroup)
             {
-              g.drawLine(sx, oldY, sx, sy );
-              g.drawLine(sx+ex, oldY, sx+ex, sy );
+              g.drawLine(sx, oldY, sx, sy);
+              g.drawLine(sx + ex, oldY, sx + ex, sy);
 
               if (top != -1)
               {
                 g.drawLine(sx, top, sx + ex, top);
-                top =-1;
+                top = -1;
               }
               if (bottom != -1)
               {
@@ -403,7 +480,6 @@ public void fastPaint(int horizontal, int vertical)
                 bottom = -1;
               }
 
-
               inGroup = false;
             }
           }
@@ -412,37 +488,39 @@ public void fastPaint(int horizontal, int vertical)
         if (inGroup)
         {
 
-          if(top!=-1)
+          if (top != -1)
           {
             g.drawLine(sx, top, sx + ex, top);
-            top =-1;
+            top = -1;
           }
-          if(bottom!=-1)
-           {
-             g.drawLine(sx, bottom-1, sx + ex, bottom-1);
-             bottom = -1;
-
-           }
-          sy = offset + AlignmentUtil.getPixelHeight(starty, i, av.charHeight);
-          g.drawLine(sx, oldY, sx, sy );
-          g.drawLine(sx+ex, oldY, sx+ex, sy );
+          if (bottom != -1)
+          {
+            g.drawLine(sx, bottom - 1, sx + ex, bottom - 1);
+            bottom = -1;
+
+          }
+          sy = offset + (i-starty)*av.charHeight;
+          g.drawLine(sx, oldY, sx, sy);
+          g.drawLine(sx + ex, oldY, sx + ex, sy);
           inGroup = false;
         }
         groupIndex++;
         if (groupIndex >= groups.size())
+        {
           break;
+        }
 
         group = (SequenceGroup) groups.elementAt(groupIndex);
 
       }
       while (groupIndex < groups.size());
-
+    }
 
     /// Highlight search Results once all sequences have been drawn
     //////////////////////////////////////////////////////////
-    if(displaySearch)
+    if (displaySearch)
     {
-      for(int r=0; r<searchResults.length; r+=3)
+      for (int r = 0; r < searchResults.length; r += 3)
       {
         int searchSeq = searchResults[r];
 
@@ -450,22 +528,25 @@ public void fastPaint(int horizontal, int vertical)
         {
           SequenceI seq = av.getAlignment().getSequenceAt(searchSeq);
 
-          int searchStart = seq.findIndex( searchResults[r+1] )-1;
-          int searchEnd =  seq.findIndex(  searchResults[r+2] )-1;
+          int searchStart = seq.findIndex(searchResults[r + 1]) - 1;
+          int searchEnd = seq.findIndex(searchResults[r + 2]) - 1;
 
           SequenceRenderer ssr = (SequenceRenderer) sr;
-          if(searchStart<x1)
+          if (searchStart < x1)
+          {
             searchStart = x1;
-          if(searchEnd > x2)
+          }
+          if (searchEnd > x2)
+          {
             searchEnd = x2;
+          }
 
           ssr.drawHighlightedText(seq,
                                   searchStart,
                                   searchEnd,
                                   (searchStart - startx) * av.charWidth,
                                   offset +
-                                  AlignmentUtil.getPixelHeight(starty, searchSeq,
-              av.charHeight),
+                                  (searchSeq-starty)*av.charHeight,
                                   av.charWidth,
                                   av.charHeight);
         }
@@ -474,20 +555,21 @@ public void fastPaint(int horizontal, int vertical)
 
   }
 
-
-
-  public void highlightSearchResults(int [] results)
+  public void highlightSearchResults(int[] results)
   {
     // results are in the order sequence, startRes, endRes
-    if(results==null)
+    if (results == null)
+    {
       displaySearch = false;
+    }
     else
+    {
       displaySearch = true;
+    }
 
     searchResults = results;
 
     repaint();
   }
 
-
 }