Recalc accelerated
[jalview.git] / src / jalview / gui / IdCanvas.java
index 6d4a5b9..c14da85 100755 (executable)
+/*\r
+ * Jalview - A Sequence Alignment Editor and Viewer\r
+ * Copyright (C) 2005 AM Waterhouse, J Procter, G Barton, M Clamp, S Searle\r
+ *\r
+ * This program is free software; you can redistribute it and/or\r
+ * modify it under the terms of the GNU General Public License\r
+ * as published by the Free Software Foundation; either version 2\r
+ * of the License, or (at your option) any later version.\r
+ *\r
+ * This program is distributed in the hope that it will be useful,\r
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of\r
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
+ * GNU General Public License for more details.\r
+ *\r
+ * You should have received a copy of the GNU General Public License\r
+ * along with this program; if not, write to the Free Software\r
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA\r
+ */\r
 package jalview.gui;\r
 \r
 import java.awt.*;\r
-import java.awt.Graphics2D.*;\r
-\r
+import java.awt.image.*;\r
 import javax.swing.*;\r
-import jalview.datamodel.*;\r
+\r
 import jalview.analysis.*;\r
-public class IdCanvas extends JPanel\r
+import jalview.datamodel.*;\r
+\r
+public class IdCanvas\r
+    extends JPanel\r
 {\r
   protected AlignViewport av;\r
-\r
-  public boolean paintFlag   = false;\r
-  protected boolean showScores  = true;\r
-\r
-  protected int     maxIdLength = -1;\r
-  protected String  maxIdStr    = null;\r
+  protected boolean showScores = true;\r
+  protected int maxIdLength = -1;\r
+  protected String maxIdStr = null;\r
+  BufferedImage image;\r
+  Graphics2D gg;\r
+  int imgHeight = 0;\r
+  boolean fastPaint = false;\r
+  java.util.Vector searchResults;\r
 \r
   public IdCanvas(AlignViewport av)\r
   {\r
     setLayout(new BorderLayout());\r
-    this.av         = av;\r
+    this.av = av;\r
     PaintRefresher.Register(this);\r
   }\r
 \r
-  public void drawIdString(Graphics gg,SequenceI ds,int i, int starty, int ypos) {\r
-      int charHeight = av.getCharHeight();\r
-\r
-      if (av.getSelection().contains(ds)) {\r
-         gg.setColor(Color.lightGray);\r
-         gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);\r
-         gg.setColor(Color.white);\r
-      } else {\r
-         gg.setColor(ds.getColor());\r
-         gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);\r
-         gg.setColor(Color.black);\r
-      }\r
+  public void drawIdString(Graphics2D gg, SequenceI s, int i, int starty,\r
+                           int ypos)\r
+  {\r
+    int charHeight = av.getCharHeight();\r
 \r
-      String string = ds.getName() + "/" + ds.getStart() + "-" + ds.getEnd();\r
+    if ( (searchResults != null) && searchResults.contains(s))\r
+    {\r
+      gg.setColor(Color.black);\r
+      gg.fillRect(0,\r
+                  AlignmentUtil.getPixelHeight(starty, i, charHeight) + ypos,\r
+                  getWidth(), charHeight);\r
+      gg.setColor(Color.white);\r
+    }\r
+    else if ( (av.getSelectionGroup() != null) &&\r
+             av.getSelectionGroup().sequences.contains(s))\r
+    {\r
+      gg.setColor(Color.lightGray);\r
+      gg.fillRect(0,\r
+                  AlignmentUtil.getPixelHeight(starty, i, charHeight) + ypos,\r
+                  getWidth(), charHeight);\r
+      gg.setColor(Color.white);\r
+    }\r
+    else\r
+    {\r
+      gg.setColor(s.getColor());\r
+      gg.fillRect(0,\r
+                  AlignmentUtil.getPixelHeight(starty, i, charHeight) + ypos,\r
+                  getWidth(), charHeight);\r
+      gg.setColor(Color.black);\r
+    }\r
 \r
-      gg.drawString(string,0,AlignmentUtil.getPixelHeight(starty,i,charHeight) + ypos + charHeight-   (charHeight/5));\r
+    String string = s.getName();\r
 \r
+    if (av.getShowFullId())\r
+    {\r
+      string = s.getDisplayId();\r
+    }\r
+\r
+    gg.drawString(string, 0,\r
+                  (AlignmentUtil.getPixelHeight(starty, i, charHeight) + ypos +\r
+                   charHeight) - (charHeight / 5));\r
   }\r
 \r
-  public void paintComponent(Graphics gg) {\r
-    AlignmentI da         = av.getAlignment();\r
-    int        charHeight = av.getCharHeight();\r
-    gg.setFont(av.getFont());\r
+  public void fastPaint(int vertical)\r
+  {\r
+    if (gg == null)\r
+    {\r
+      repaint();\r
+      return;\r
+    }\r
 \r
-    //Fill in the background\r
-    gg.setColor(Color.white);\r
-    gg.fillRect(0,0,getWidth(),getHeight());\r
+    gg.copyArea(0, 0, getWidth(), imgHeight, 0, -vertical * av.charHeight);\r
 \r
-    Color currentColor     = Color.white;\r
-    Color currentTextColor = Color.black;\r
+    int ss = av.startSeq;\r
+    int es = av.endSeq;\r
+    int transY = 0;\r
 \r
-    //Which ids are we printing\r
-    int starty = av.getStartSeq();\r
-    int endy   = av.getEndSeq();\r
+    if (vertical > 0) // scroll down\r
+    {\r
+      ss = es - vertical;\r
 \r
-    if (av.getWrapAlignment())\r
+      if (ss < av.startSeq)\r
+      { // ie scrolling too fast, more than a page at a time\r
+        ss = av.startSeq;\r
+      }\r
+      else\r
+      {\r
+        transY = imgHeight - (vertical * av.charHeight);\r
+      }\r
+    }\r
+    else if (vertical < 0)\r
     {\r
-       starty = starty%av.getChunkHeight();\r
+      es = ss - vertical;\r
 \r
-       int ypos     = 0;\r
-       int rowstart = starty;\r
+      if (es > av.endSeq)\r
+      {\r
+        es = av.endSeq;\r
+      }\r
+    }\r
 \r
-       if (starty == 0)\r
-           ypos = 2*charHeight;\r
-       else if (starty == 1)\r
-       {\r
-           starty = 0;\r
-           ypos = charHeight;\r
-       }\r
+    gg.translate(0, transY);\r
 \r
-       endy   = starty + da.getHeight();\r
+    drawIds(ss, es);\r
 \r
-       if (endy > da.getHeight()) {\r
-           endy = da.getHeight();\r
-       }\r
+    gg.translate(0, -transY);\r
 \r
-       for (int i = starty; i < endy; i++) {\r
-         SequenceI s = da.getSequenceAt(i);\r
-         drawIdString(gg,s,i,starty,ypos);\r
-       }\r
-       if (rowstart == 0) {\r
-           ypos   = ypos +  av.getChunkHeight();\r
-       } else if (rowstart == 1) {\r
-           ypos   = ypos +  av.getChunkHeight();\r
-       } else {\r
-           ypos   = ypos +  av.getChunkHeight() - rowstart*charHeight;\r
-       }\r
+    fastPaint = true;\r
+    repaint();\r
+  }\r
 \r
-       starty = 0;\r
+  public void paintComponent(Graphics g)\r
+  {\r
+    g.setColor(Color.white);\r
+    g.fillRect(0, 0, getWidth(), getHeight());\r
 \r
-       int chunkwidth = av.getChunkWidth();\r
-       int startx = (int)(av.getEndSeq()/chunkwidth)*chunkwidth;\r
-       int endx   = startx + chunkwidth;\r
+    if (fastPaint)\r
+    {\r
+      fastPaint = false;\r
+      g.drawImage(image, 0, 0, this);\r
 \r
+      return;\r
+    }\r
 \r
-       while (ypos <= getHeight() && endx < da.getWidth()) {\r
+    imgHeight = getHeight();\r
+    imgHeight -= (imgHeight % av.charHeight);\r
 \r
-           for (int i = starty; i < endy; i++) {\r
-             SequenceI s = da.getSequenceAt(i);\r
-             drawIdString(gg,s,i,starty,ypos);\r
-           }\r
+    if (imgHeight < 1)\r
+    {\r
+      return;\r
+    }\r
+\r
+    image = new BufferedImage(getWidth(), imgHeight,\r
+                              BufferedImage.TYPE_INT_RGB);\r
+    gg = (Graphics2D) image.getGraphics();\r
 \r
-           ypos   += av.getChunkHeight();\r
-           startx += chunkwidth;\r
-           endx = startx + chunkwidth;\r
+    //Fill in the background\r
+    gg.setColor(Color.white);\r
+    gg.fillRect(0, 0, getWidth(), imgHeight);\r
+    gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,\r
+                        RenderingHints.VALUE_ANTIALIAS_ON);\r
+\r
+    Font italic = new Font(av.getFont().getName(), Font.ITALIC,\r
+                           av.getFont().getSize());\r
+    gg.setFont(italic);\r
+\r
+    drawIds(av.getStartSeq(), av.endSeq);\r
+\r
+    g.drawImage(image, 0, 0, this);\r
+  }\r
 \r
-           if (endx > da.getWidth()) {\r
-               endx = da.getWidth();\r
-           }\r
+  void drawIds(int starty, int endy)\r
+  {\r
+    if(gg==null)\r
+      return;\r
 \r
-           starty = 0;\r
 \r
-           if (endy > da.getHeight()) {\r
-               endy = da.getHeight();\r
-           }\r
+    Color currentColor = Color.white;\r
+    Color currentTextColor = Color.black;\r
 \r
-       }\r
-    } else\r
+    if (av.getWrapAlignment())\r
     {\r
+      int rowSize = av.getEndRes() - av.getStartRes();\r
 \r
+      // Draw the rest of the panels\r
+      for (int ypos = 2 * av.charHeight, row = av.startRes;\r
+           (ypos <= getHeight()) && (row < av.alignment.getWidth());\r
+           ypos += av.chunkHeight, row += rowSize)\r
+      {\r
+        for (int i = starty; i < av.alignment.getHeight(); i++)\r
+        {\r
+          SequenceI s = av.alignment.getSequenceAt(i);\r
+          drawIdString(gg, s, i, 0, ypos);\r
+        }\r
+      }\r
+    }\r
+    else\r
+    {\r
       //Now draw the id strings\r
       for (int i = starty; i < endy; i++)\r
       {\r
         // Selected sequence colours\r
-        if (av.getSelection().contains(da.getSequenceAt(i)))\r
+        if ( (searchResults != null) &&\r
+            searchResults.contains(av.alignment.getSequenceAt(i)))\r
+        {\r
+          gg.setColor(Color.black);\r
+          currentColor = Color.black;\r
+          currentTextColor = Color.white;\r
+        }\r
+        else if ( (av.getSelectionGroup() != null) &&\r
+                 av.getSelectionGroup().sequences.contains(\r
+                     av.alignment.getSequenceAt(i)))\r
         {\r
           currentColor = Color.lightGray;\r
           currentTextColor = Color.black;\r
         }\r
         else\r
         {\r
-          currentColor = da.getSequenceAt(i).getColor();\r
+          currentColor = av.alignment.getSequenceAt(i).getColor();\r
           currentTextColor = Color.black;\r
         }\r
 \r
         gg.setColor(currentColor);\r
 \r
         gg.fillRect(0,\r
-                    AlignmentUtil.getPixelHeight(starty, i, charHeight),\r
-                    getWidth(),\r
-                    charHeight);\r
+                    AlignmentUtil.getPixelHeight(starty, i, av.charHeight),\r
+                    getWidth(), av.charHeight);\r
 \r
         gg.setColor(currentTextColor);\r
-        String string = da.getSequenceAt(i).getDisplayId();\r
+\r
+        String string = av.alignment.getSequenceAt(i).getName();\r
+\r
+        if (av.getShowFullId())\r
+        {\r
+          string = av.alignment.getSequenceAt(i).getDisplayId();\r
+        }\r
+\r
         gg.drawString(string, 0,\r
-                      AlignmentUtil.getPixelHeight(starty, i, charHeight) +\r
-                      charHeight - (charHeight / 5));\r
+                      (AlignmentUtil.getPixelHeight(starty, i, av.charHeight) +\r
+                       av.charHeight) - (av.charHeight / 5));\r
       }\r
-    }\r
 \r
+      // add a border\r
+      gg.setColor(Color.white);\r
+      gg.fillRect(getWidth() - 4, 0, 4, getHeight());\r
+    }\r
   }\r
 \r
-\r
-  public Dimension getLabelWidth()\r
+  public void setHighlighted(java.util.Vector found)\r
   {\r
-\r
-   FontMetrics fm = this.getGraphics().getFontMetrics(av.font);\r
-   AlignmentI al = av.getAlignment();\r
-\r
-   int i   = 0;\r
-   int idWidth = 0;\r
-\r
-   while (i < al.getHeight() && al.getSequenceAt(i) != null)\r
-   {\r
-     SequenceI s   = al.getSequenceAt(i);\r
-     String str   = s.getDisplayId();\r
-     if (fm.stringWidth(str) > idWidth)\r
-       idWidth = fm.stringWidth(str);\r
-     i++;\r
-   }\r
-\r
-   return new Dimension(idWidth + 10,getHeight());\r
- }\r
-\r
- public Dimension getPreferredSize()\r
- {\r
-   return getLabelWidth();\r
- }\r
-\r
-\r
+    searchResults = found;\r
+    repaint();\r
+  }\r
 }\r