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
import jalview.analysis.*;\r
public class IdCanvas extends JPanel\r
{\r
- protected Image img;\r
- protected Graphics gg;\r
-\r
- protected int imgWidth;\r
- protected int imgHeight;\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
+ BufferedImage image;\r
+ Graphics2D gg;\r
+ int imgHeight=0;\r
+ boolean fastPaint = false;\r
+\r
+ java.util.Vector searchResults;\r
\r
public IdCanvas(AlignViewport av)\r
{\r
PaintRefresher.Register(this);\r
}\r
\r
- public void drawIdString(Graphics g,SequenceI ds,int i, int starty, int ypos) {\r
+ public void drawIdString(Graphics2D gg,SequenceI s,int i, int starty, int ypos) {\r
int charHeight = av.getCharHeight();\r
\r
- if (av.getSelection().contains(ds)) {\r
- gg.setColor(Color.gray);\r
+ if(searchResults!=null && searchResults.contains(s))\r
+ {\r
+ gg.setColor(Color.black);\r
+ gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),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,getWidth(),charHeight);\r
gg.setColor(Color.white);\r
} else {\r
- gg.setColor(ds.getColor());\r
+ gg.setColor(s.getColor());\r
gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);\r
gg.setColor(Color.black);\r
}\r
\r
- String string = ds.getName() + "/" + ds.getStart() + "-" + ds.getEnd();\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/2);\r
+ gg.drawString(string,0,AlignmentUtil.getPixelHeight(starty,i,charHeight) + ypos + charHeight- (charHeight/5));\r
\r
}\r
\r
- public void paintComponent(Graphics g) {\r
- AlignmentI da = av.getAlignment();\r
- int charWidth = (int)av.getCharWidth();\r
- int charHeight = av.getCharHeight();\r
- Font f = av.getFont();\r
-\r
- if (img == null ||\r
- imgWidth != getWidth() ||\r
- imgHeight != getHeight() ||\r
- paintFlag == true) {\r
-\r
- imgWidth = getWidth();\r
- imgHeight = getHeight();\r
-\r
- if (imgWidth <= 0 ) {\r
- imgWidth = 700;\r
- }\r
- if (imgHeight <= 0 ) {\r
- imgHeight = 500;\r
- }\r
-\r
- img = createImage(imgWidth,imgHeight);\r
-\r
- gg = img.getGraphics();\r
- gg.setColor(Color.white);\r
- gg.fillRect(0,0,imgWidth,imgHeight);\r
-\r
- gg.setFont(f);\r
-\r
- paintFlag = false;\r
-\r
- }\r
-\r
-\r
- //Fill in the background\r
- gg.setColor(Color.white);\r
- gg.fillRect(0,0,imgWidth,imgHeight);\r
+ public void fastPaint(int vertical)\r
+ {\r
+ if(gg==null)\r
+ { repaint(); return;}\r
\r
- Color currentColor = Color.white;\r
- Color currentTextColor = Color.black;\r
+ gg.copyArea( 0,0, getWidth(), imgHeight, 0, -vertical*av.charHeight );\r
\r
- //Which ids are we printing\r
- int starty = av.getStartSeq();\r
- int endy = av.getEndSeq();\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
- if (av.getWrapAlignment()) {\r
- starty = starty%av.getChunkHeight();\r
+ gg.translate(0, transY);\r
\r
- int ypos = 0;\r
- int rowstart = starty;\r
+ drawIds(ss, es);\r
\r
- if (starty == 0) {\r
- ypos = 2*charHeight;\r
- } else if (starty == 1) {\r
- starty = 0;\r
- ypos = charHeight;\r
- }\r
+ gg.translate( 0, -transY );\r
\r
- endy = starty + da.getHeight();\r
\r
- if (endy > da.getHeight()) {\r
- endy = da.getHeight();\r
- }\r
+ fastPaint = true;\r
+ repaint();\r
+ }\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
+ public void paintComponent(Graphics g)\r
+ {\r
+ g.setColor(Color.white);\r
+ g.fillRect(0, 0, getWidth(), getHeight());\r
\r
- starty = 0;\r
+ if (fastPaint)\r
+ {\r
+ fastPaint = false;\r
+ g.drawImage(image, 0, 0, this);\r
+ return;\r
+ }\r
\r
- int chunkwidth = av.getChunkWidth();\r
- int startx = (int)(av.getEndSeq()/chunkwidth)*chunkwidth;\r
- int endx = startx + chunkwidth;\r
+ imgHeight = getHeight();\r
+ imgHeight -= imgHeight % av.charHeight;\r
\r
+ if (imgHeight<1)\r
+ return;\r
\r
- while (ypos <= getHeight() && endx < da.getWidth()) {\r
+ image = new BufferedImage(getWidth(), imgHeight, BufferedImage.TYPE_INT_RGB);\r
+ gg = (Graphics2D) image.getGraphics();\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
+ Font italic = new Font(av.getFont().getName(), Font.ITALIC,\r
+ av.getFont().getSize());\r
+ gg.setFont(italic);\r
\r
- for (int i = starty; i < endy; i++) {\r
- SequenceI s = da.getSequenceAt(i);\r
- drawIdString(gg,s,i,starty,ypos);\r
- }\r
+ drawIds( av.getStartSeq(), av.endSeq);\r
\r
- ypos += av.getChunkHeight();\r
- startx += chunkwidth;\r
- endx = startx + chunkwidth;\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
+ Color currentColor = Color.white;\r
+ Color currentTextColor = Color.black;\r
\r
- starty = 0;\r
+ if (av.getWrapAlignment())\r
+ {\r
\r
- if (endy > da.getHeight()) {\r
- endy = da.getHeight();\r
- }\r
+ int rowSize = av.getEndRes() - av.getStartRes();\r
+ // Draw the rest of the panels\r
+\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
- }\r
- } else {\r
\r
- //Now draw the id strings\r
- for (int i = starty; i < endy; i++)\r
+ } else\r
{\r
\r
- // Selected sequence colours\r
+ //Now draw the id strings\r
+ for (int i = starty; i < endy; i++)\r
+ {\r
+ // Selected sequence colours\r
\r
- if (av.getSelection().contains(da.getSequenceAt(i))) {\r
- if (currentColor != Color.gray) {\r
- currentColor = Color.gray;\r
+ if(searchResults!=null && 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
+ currentColor = Color.lightGray;\r
+ currentTextColor = Color.black;\r
+ }\r
+ else\r
+ {\r
+ currentColor = av.alignment.getSequenceAt(i).getColor();\r
currentTextColor = Color.black;\r
}\r
- } else if (da.getSequenceAt(i).getColor() != null)\r
- {\r
- currentColor = Color.white;\r
- /* Color newcol = da.getSequenceAt(i).getColor();\r
- if (newcol != currentColor) {\r
- currentColor = newcol;\r
- if (newcol == Color.black) {\r
- currentTextColor = Color.white;\r
- } else {\r
- currentTextColor = Color.black;\r
- }\r
- }*/\r
- }\r
\r
- gg.setColor(currentColor);\r
+ gg.setColor(currentColor);\r
\r
- if (currentColor != Color.white) {\r
gg.fillRect(0,\r
- AlignmentUtil.getPixelHeight(starty,i,charHeight),\r
+ AlignmentUtil.getPixelHeight(starty, i, av.charHeight),\r
getWidth(),\r
- charHeight);\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
+ av.charHeight - (av.charHeight / 5));\r
}\r
\r
- gg.setColor(currentTextColor);\r
-\r
- String string = da.getSequenceAt(i).getDisplayId();\r
-\r
- gg.drawString(string,0,AlignmentUtil.getPixelHeight(starty,i,charHeight) + charHeight- (charHeight/5));\r
- }\r
+ // add a border\r
+ gg.setColor(Color.white);\r
+ gg.fillRect(getWidth()-4,0,4,getHeight());\r
}\r
\r
- g.drawImage(img,0,0,this);\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