+/*\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
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
- 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
+ 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(Graphics2D gg,SequenceI s,int i, int starty, int ypos) {\r
- int charHeight = av.getCharHeight();\r
-\r
+ public void drawIdString(Graphics2D gg, SequenceI s, int i, int starty,\r
+ int ypos)\r
+ {\r
+ int charHeight = av.getCharHeight();\r
\r
- if (av.getSelectionGroup()!=null && av.getSelectionGroup().sequences.contains(s)) {\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(s.getColor());\r
- gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);\r
- gg.setColor(Color.black);\r
- }\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
- String string = s.getName();\r
- if(av.getShowFullId())\r
- string = s.getDisplayId();\r
+ String string = s.getName();\r
\r
- gg.drawString(string,0,AlignmentUtil.getPixelHeight(starty,i,charHeight) + ypos + charHeight- (charHeight/5));\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 fastPaint(int vertical)\r
{\r
- if(gg==null)\r
- { repaint(); return;}\r
+ if (gg == null)\r
+ {\r
+ repaint();\r
+ return;\r
+ }\r
+\r
+ gg.copyArea(0, 0, getWidth(), imgHeight, 0, -vertical * av.charHeight);\r
\r
- gg.copyArea( 0,0, getWidth(), imgHeight, 0, -vertical*av.charHeight );\r
+ int ss = av.startSeq;\r
+ int es = av.endSeq;\r
+ int transY = 0;\r
\r
- int ss=av.startSeq, es=av.endSeq, transY = 0;\r
- if(vertical>0) // scroll down\r
- {\r
- transY = imgHeight - vertical*av.charHeight;\r
- ss = es - vertical;\r
- }\r
- else if(vertical<0)\r
- {\r
- es = ss-vertical;\r
- }\r
+ if (vertical > 0) // scroll down\r
+ {\r
+ ss = es - vertical;\r
+\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
+ es = ss - vertical;\r
\r
- gg.translate(0, transY);\r
+ if (es > av.endSeq)\r
+ {\r
+ es = av.endSeq;\r
+ }\r
+ }\r
\r
- drawIds(ss, es);\r
+ gg.translate(0, transY);\r
\r
- gg.translate( 0, -transY );\r
+ drawIds(ss, es);\r
\r
+ gg.translate(0, -transY);\r
\r
- fastPaint = true;\r
- repaint();\r
+ fastPaint = true;\r
+ repaint();\r
}\r
\r
public void paintComponent(Graphics g)\r
\r
if (fastPaint)\r
{\r
- g.drawImage(image, 0, 0, this);\r
fastPaint = false;\r
+ g.drawImage(image, 0, 0, this);\r
+\r
return;\r
}\r
\r
imgHeight = getHeight();\r
- imgHeight -= imgHeight % av.charHeight;\r
- image = new BufferedImage(getWidth(), imgHeight, BufferedImage.TYPE_INT_RGB);\r
+ imgHeight -= (imgHeight % av.charHeight);\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
//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
+ drawIds(av.getStartSeq(), av.endSeq);\r
\r
g.drawImage(image, 0, 0, this);\r
}\r
\r
void drawIds(int starty, int endy)\r
{\r
+ if(gg==null)\r
+ return;\r
\r
- Color currentColor = Color.white;\r
+\r
+ Color currentColor = Color.white;\r
Color currentTextColor = Color.black;\r
\r
if (av.getWrapAlignment())\r
{\r
- // Draw the rest of the panels\r
- int chunkHeight = (av.alignment.getHeight() + 2)*av.charHeight;\r
- int row = av.getStartRes() / av.chunkWidth ;\r
- for(int ypos=2*av.charHeight;\r
- ypos <= getHeight() && row*av.chunkWidth<av.alignment.getWidth();\r
- ypos += chunkHeight, row++ )\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
-\r
- } else\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
-\r
- if (av.getSelectionGroup()!= null\r
- && av.getSelectionGroup().sequences.contains(av.alignment.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
- // if(av.alignment.findGroup(al.getSequenceAt(i)).getEndRes()==\r
currentColor = Color.lightGray;\r
currentTextColor = Color.black;\r
}\r
\r
gg.fillRect(0,\r
AlignmentUtil.getPixelHeight(starty, i, av.charHeight),\r
- getWidth(),\r
- av.charHeight);\r
+ getWidth(), av.charHeight);\r
\r
gg.setColor(currentTextColor);\r
+\r
String string = av.alignment.getSequenceAt(i).getName();\r
- if(av.getShowFullId())\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, av.charHeight) +\r
- av.charHeight - (av.charHeight / 5));\r
+ (AlignmentUtil.getPixelHeight(starty, i, av.charHeight) +\r
+ av.charHeight) - (av.charHeight / 5));\r
}\r
\r
// add a border\r
gg.setColor(Color.white);\r
- gg.fillRect(getWidth()-4,0,4,getHeight());\r
+ gg.fillRect(getWidth() - 4, 0, 4, getHeight());\r
}\r
+ }\r
\r
+ public void setHighlighted(java.util.Vector found)\r
+ {\r
+ searchResults = found;\r
+ repaint();\r
}\r
}\r