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

diff --git a/src/jalview/gui/IdCanvas.java b/src/jalview/gui/IdCanvas.java
index 973f8bc..e30be30 100755
--- a/src/jalview/gui/IdCanvas.java
+++ b/src/jalview/gui/IdCanvas.java
@@ -1,143 +1,257 @@
+/*
+ * 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;
-
-  public boolean paintFlag   = false;
-  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;
+  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(Graphics gg,SequenceI ds,int i, int starty, int ypos) {
-      int charHeight = av.getCharHeight();
-
-      if (av.getSelection().contains(ds)) {
-	  gg.setColor(Color.lightGray);
-	  gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
-	  gg.setColor(Color.white);
-      } else {
-	  gg.setColor(ds.getColor());
-	  gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
-	  gg.setColor(Color.black);
+  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);
+    }
+
+    String string = s.getName();
+
+    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;
+    }
+
+    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;
+
+      if (es > av.endSeq)
+      {
+        es = av.endSeq;
+      }
+    }
 
-      String string = ds.getName() + "/" + ds.getStart() + "-" + ds.getEnd();
+    gg.translate(0, transY);
 
-      gg.drawString(string,0,AlignmentUtil.getPixelHeight(starty,i,charHeight) + ypos + charHeight-   (charHeight/5));
+    drawIds(ss, es);
 
+    gg.translate(0, -transY);
+
+    fastPaint = true;
+    repaint();
   }
 
-  public void paintComponent(Graphics gg) {
-    AlignmentI da         = av.getAlignment();
-    int        charHeight = av.getCharHeight();
-    gg.setFont(av.getFont());
+  public void paintComponent(Graphics g)
+  {
+    g.setColor(Color.white);
+    g.fillRect(0, 0, getWidth(), getHeight());
+
+    if (fastPaint)
+    {
+      fastPaint = false;
+      g.drawImage(image, 0, 0, this);
+
+      return;
+    }
+
+    imgHeight = getHeight();
+    imgHeight -= (imgHeight % av.charHeight);
+
+    if (imgHeight < 1)
+    {
+      return;
+    }
+
+    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(),getHeight());
+    gg.fillRect(0, 0, getWidth(), imgHeight);
+    gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
+                        RenderingHints.VALUE_ANTIALIAS_ON);
 
-    Color currentColor     = Color.white;
-    Color currentTextColor = Color.black;
+    Font italic = new Font(av.getFont().getName(), Font.ITALIC,
+                           av.getFont().getSize());
+    gg.setFont(italic);
 
-    //Which ids are we printing
-    int starty = av.getStartSeq();
-    int endy   = av.endSeq;
+    drawIds(av.getStartSeq(), av.endSeq);
+
+    g.drawImage(image, 0, 0, this);
+  }
+
+  void drawIds(int starty, int endy)
+  {
+    Color currentColor = Color.white;
+    Color currentTextColor = Color.black;
 
     if (av.getWrapAlignment())
     {
-          // Draw the rest of the panels
-          int chunkHeight =  (da.getHeight() + 2)*av.charHeight;
-          int row = av.getStartRes() / av.chunkWidth ;
-          for(int ypos=2*av.charHeight;
-              ypos <= getHeight() && row*av.chunkWidth<da.getWidth();
-              ypos += chunkHeight, row++ )
-          {
-            for (int i = starty; i < endy; i++)
-            {
-              SequenceI s = da.getSequenceAt(i);
-              drawIdString(gg, s, i, 0, ypos);
-            }
-          }
-
-
-    } else
-    {
+      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
+    {
       //Now draw the id strings
       for (int i = starty; i < endy; i++)
       {
         // Selected sequence colours
-        if (av.getSelection().contains(da.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)))
         {
           currentColor = Color.lightGray;
           currentTextColor = Color.black;
         }
         else
         {
-          currentColor = da.getSequenceAt(i).getColor();
+          currentColor = av.alignment.getSequenceAt(i).getColor();
           currentTextColor = Color.black;
         }
 
         gg.setColor(currentColor);
 
         gg.fillRect(0,
-                    AlignmentUtil.getPixelHeight(starty, i, charHeight),
-                    getWidth(),
-                    charHeight);
+                    AlignmentUtil.getPixelHeight(starty, i, av.charHeight),
+                    getWidth(), av.charHeight);
 
         gg.setColor(currentTextColor);
-        String string = da.getSequenceAt(i).getDisplayId();
+
+        String string = av.alignment.getSequenceAt(i).getName();
+
+        if (av.getShowFullId())
+        {
+          string = av.alignment.getSequenceAt(i).getDisplayId();
+        }
+
         gg.drawString(string, 0,
-                      AlignmentUtil.getPixelHeight(starty, i, charHeight) +
-                      charHeight - (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());
+    }
   }
 
-
-  public Dimension getLabelWidth()
+  public void setHighlighted(java.util.Vector found)
   {
-    if(getGraphics()==null)
-      return null;
-
-   FontMetrics fm = this.getGraphics().getFontMetrics(av.font);
-   AlignmentI al = av.getAlignment();
-
-   int i   = 0;
-   int idWidth = 0;
-
-   while (i < al.getHeight() && al.getSequenceAt(i) != null)
-   {
-     SequenceI s   = al.getSequenceAt(i);
-     String str   = s.getDisplayId();
-     if (fm.stringWidth(str) > idWidth)
-       idWidth = fm.stringWidth(str);
-     i++;
-   }
-
-   return new Dimension(idWidth + 10,getHeight());
- }
-
- public Dimension getPreferredSize()
- {
-   return getLabelWidth();
- }
-
-
+    searchResults = found;
+    repaint();
+  }
 }