+/*\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
+\r
package jalview.appletgui;\r
\r
import java.awt.*;\r
+\r
import jalview.datamodel.*;\r
-import jalview.analysis.*;\r
-public class IdCanvas extends Panel\r
+\r
+public class IdCanvas\r
+ extends Panel\r
{\r
protected AlignViewport av;\r
\r
- protected boolean showScores = true;\r
+ protected boolean showScores = true;\r
\r
- protected int maxIdLength = -1;\r
- protected String maxIdStr = null;\r
+ protected int maxIdLength = -1;\r
+ protected String maxIdStr = null;\r
Image image;\r
Graphics gg;\r
- int imgHeight=0;\r
+ int imgHeight = 0;\r
boolean fastPaint = false;\r
\r
java.util.Vector searchResults;\r
public IdCanvas(AlignViewport av)\r
{\r
setLayout(null);\r
- this.av = av;\r
- PaintRefresher.Register(this);\r
+ this.av = av;\r
+ PaintRefresher.Register(this, av.alignment);\r
}\r
\r
- public void drawIdString(Graphics gg,SequenceI s,int i, int starty, int ypos) {\r
- int charHeight = av.getCharHeight();\r
+ public void drawIdString(Graphics gg, SequenceI s, int i, int starty,\r
+ int ypos)\r
+ {\r
+ int charHeight = av.getCharHeight();\r
\r
- if(searchResults!=null && searchResults.contains(s))\r
- {\r
- gg.setColor(Color.black);\r
- gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getSize().width,charHeight);\r
- gg.setColor(Color.white);\r
- }\r
- else if (av.getSelectionGroup()!=null && av.getSelectionGroup().sequences.contains(s)) {\r
- gg.setColor(Color.lightGray);\r
- gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getSize().width,charHeight);\r
- gg.setColor(Color.white);\r
- } else {\r
- gg.setColor(s.getColor());\r
- gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getSize().width,charHeight);\r
- gg.setColor(Color.black);\r
- }\r
+ if (searchResults != null && searchResults.contains(s))\r
+ {\r
+ gg.setColor(Color.black);\r
+ gg.fillRect(0, ((i - starty) * charHeight) + ypos,\r
+ getSize().width, 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, ((i - starty) * charHeight) + ypos,\r
+ getSize().width, charHeight);\r
+ gg.setColor(Color.white);\r
+ }\r
+ else\r
+ {\r
+ gg.setColor(s.getColor());\r
+ gg.fillRect(0, ((i - starty) * charHeight) + ypos,\r
+ getSize().width, charHeight);\r
+ gg.setColor(Color.black);\r
+ }\r
\r
- String string = s.getName();\r
- if(av.getShowFullId())\r
- string = s.getDisplayId();\r
\r
- gg.drawString(string,0,AlignmentUtil.getPixelHeight(starty,i,charHeight) + ypos + charHeight- (charHeight/5));\r
+ gg.drawString( s.getDisplayId(av.getShowJVSuffix()), 0,\r
+ ((i - starty) * charHeight) + ypos +\r
+ charHeight - (charHeight / 5));\r
\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, getSize().width, imgHeight, 0, -vertical*av.charHeight );\r
+ gg.copyArea(0, 0, getSize().width, imgHeight, 0, -vertical * av.charHeight);\r
\r
- int ss=av.startSeq, es=av.endSeq, transY = 0;\r
+ int ss = av.startSeq, es = av.endSeq, transY = 0;\r
if (vertical > 0) // scroll down\r
- {\r
- ss = es - vertical;\r
- if(ss<av.startSeq) // ie scrolling too fast, more than a page at a time\r
- ss = av.startSeq;\r
- else\r
- transY = imgHeight - vertical * av.charHeight;\r
- }\r
- else if (vertical < 0)\r
- {\r
- es = ss - vertical;\r
- if(es > av.endSeq)\r
- es = av.endSeq;\r
- }\r
-\r
-\r
-\r
- gg.translate(0, transY);\r
+ {\r
+ ss = es - vertical;\r
+ if (ss < av.startSeq) // ie scrolling too fast, more than a page at a time\r
+ {\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
+ 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 update(Graphics g)\r
{\r
paint(g);\r
}\r
+\r
public void paint(Graphics g)\r
{\r
- if(getSize().height<0 || getSize().width<0)\r
+ if (getSize().height < 0 || getSize().width < 0)\r
+ {\r
return;\r
+ }\r
if (fastPaint)\r
{\r
fastPaint = false;\r
imgHeight = getSize().height;\r
imgHeight -= imgHeight % av.charHeight;\r
\r
- if(image==null || imgHeight!=image.getHeight(this))\r
+ if (imgHeight < 1)\r
+ {\r
+ return;\r
+ }\r
+\r
+ if (image == null || imgHeight != image.getHeight(this))\r
{\r
image = createImage(getSize().width, imgHeight);\r
gg = image.getGraphics();\r
gg.setFont(av.getFont());\r
}\r
\r
- //Fill in the background\r
- gg.setColor(Color.white);\r
- Font italic = new Font(av.getFont().getName(), Font.ITALIC,\r
+ //Fill in the background\r
+ gg.setColor(Color.white);\r
+ Font italic = new Font(av.getFont().getName(), Font.ITALIC,\r
av.getFont().getSize());\r
- gg.setFont(italic);\r
+ gg.setFont(italic);\r
\r
gg.fillRect(0, 0, getSize().width, getSize().height);\r
- drawIds( av.getStartSeq(), av.endSeq);\r
+ drawIds(av.getStartSeq(), av.endSeq);\r
g.drawImage(image, 0, 0, this);\r
}\r
\r
void drawIds(int starty, int endy)\r
{\r
- Color currentColor = Color.white;\r
+ Color currentColor = Color.white;\r
Color currentTextColor = Color.black;\r
+ Font italic = new Font(av.getFont().getName(), Font.ITALIC,\r
+ av.getFont().getSize());\r
\r
if (av.getWrapAlignment())\r
{\r
+ int annotationHeight = 0;\r
+ AnnotationLabels labels = null;\r
\r
- int rowSize = av.getEndRes() - av.getStartRes();\r
- // Draw the rest of the panels\r
+ if(av.showAnnotation)\r
+ {\r
+ AnnotationPanel ap = new AnnotationPanel(av);\r
+ annotationHeight = ap.adjustPanelHeight();\r
+ labels = new AnnotationLabels(av);\r
+ }\r
+\r
+ int hgap = av.charHeight;\r
+ if (av.scaleAboveWrapped)\r
+ hgap += av.charHeight;\r
+\r
+ int cHeight = av.getAlignment().getHeight() * av.charHeight\r
+ + hgap\r
+ + annotationHeight;\r
\r
- for(int ypos=2*av.charHeight, row=av.getEndRes()-rowSize;\r
- ypos <= getSize().height && row<av.alignment.getWidth();\r
- ypos += av.chunkHeight, row+=rowSize )\r
- {\r
+ int rowSize = av.getEndRes() - av.getStartRes();\r
+\r
+ // Draw the rest of the panels\r
+ for (int ypos = hgap, row = av.startRes;\r
+ (ypos <= getSize().height) && (row < av.alignment.getWidth());\r
+ ypos += cHeight, 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
+ SequenceI s = av.alignment.getSequenceAt(i);\r
+ gg.setFont(italic);\r
+ drawIdString(gg, s, i, 0, ypos);\r
}\r
- }\r
\r
+ if(labels!=null)\r
+ {\r
+ gg.translate(0, ypos+(av.getAlignment().getHeight() * av.charHeight));\r
+ labels.drawComponent(gg, getSize().width);\r
+ gg.translate(0, -ypos-(av.getAlignment().getHeight() * av.charHeight));\r
+ }\r
+ }\r
\r
- } else\r
+ }\r
+ else\r
{\r
\r
//Now draw the id strings\r
{\r
// Selected sequence colours\r
\r
- if(searchResults!=null && searchResults.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(av.alignment.getSequenceAt(i)))\r
+ }\r
+ else if (av.getSelectionGroup() != null\r
+ &&\r
+ av.getSelectionGroup().sequences.contains(av.alignment.\r
+ getSequenceAt(i)))\r
{\r
currentColor = Color.lightGray;\r
currentTextColor = Color.black;\r
gg.setColor(currentColor);\r
\r
gg.fillRect(0,\r
- AlignmentUtil.getPixelHeight(starty, i, av.charHeight),\r
+ ((i - starty) * av.charHeight),\r
getSize().width,\r
av.charHeight);\r
\r
gg.setColor(currentTextColor);\r
- String string = av.alignment.getSequenceAt(i).getName();\r
- if(av.getShowFullId())\r
- string = av.alignment.getSequenceAt(i).getDisplayId();\r
- gg.drawString(string, 0,\r
- AlignmentUtil.getPixelHeight(starty, i, av.charHeight) +\r
+\r
+ gg.drawString(av.alignment.getSequenceAt(i)\r
+ .getDisplayId(av.getShowJVSuffix()), 0,\r
+ ((i - starty) * av.charHeight) +\r
av.charHeight - (av.charHeight / 5));\r
}\r
\r
// add a border\r
gg.setColor(Color.white);\r
- gg.fillRect(getSize().width-4,0,4,getSize().height);\r
+ gg.fillRect(getSize().width - 4, 0, 4, getSize().height);\r
}\r
\r
}\r