\r
import java.awt.*;\r
import java.awt.Graphics2D.*;\r
-\r
+import java.awt.image.*;\r
import javax.swing.*;\r
import jalview.datamodel.*;\r
import jalview.analysis.*;\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
public IdCanvas(AlignViewport av)\r
{\r
PaintRefresher.Register(this);\r
}\r
\r
- public void drawIdString(Graphics gg,SequenceI s,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
\r
gg.setColor(Color.black);\r
}\r
\r
- String string = s.getName() + "/" + s.getStart() + "-" + s.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- (charHeight/5));\r
\r
}\r
\r
- public void paintComponent(Graphics gg) {\r
- AlignmentI al = av.alignment;\r
- int charHeight = av.charHeight;\r
- gg.setFont(av.getFont());\r
+ public void fastPaint(int vertical)\r
+ {\r
+ if(gg==null)\r
+ { repaint(); return;}\r
+\r
+ gg.copyArea( 0,0, getWidth(), imgHeight, 0, -vertical*av.charHeight );\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
+\r
+ gg.translate(0, transY);\r
+\r
+ drawIds(ss, es);\r
+\r
+ gg.translate( 0, -transY );\r
+\r
+\r
+ fastPaint = true;\r
+ repaint();\r
+ }\r
+\r
+ public void paintComponent(Graphics g)\r
+ {\r
+ g.setColor(Color.white);\r
+ g.fillRect(0, 0, getWidth(), getHeight());\r
+\r
+ if (fastPaint)\r
+ {\r
+ g.drawImage(image, 0, 0, this);\r
+ fastPaint = false;\r
+ return;\r
+ }\r
\r
+ imgHeight = getHeight();\r
+ imgHeight -= imgHeight % av.charHeight;\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(),getHeight());\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
+ drawIds( av.getStartSeq(), av.endSeq);\r
+\r
+ g.drawImage(image, 0, 0, this);\r
+ }\r
+\r
+ void drawIds(int starty, int endy)\r
+ {\r
\r
Color currentColor = Color.white;\r
Color currentTextColor = Color.black;\r
\r
- //Which ids are we printing\r
- int starty = av.getStartSeq();\r
- int endy = av.endSeq;\r
-\r
if (av.getWrapAlignment())\r
{\r
// Draw the rest of the panels\r
- int chunkHeight = (al.getHeight() + 2)*av.charHeight;\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<al.getWidth();\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 = al.getSequenceAt(i);\r
+ SequenceI s = av.alignment.getSequenceAt(i);\r
drawIdString(gg, s, i, 0, ypos);\r
}\r
}\r
{\r
// Selected sequence colours\r
\r
- if (av.getSelectionGroup()!= null && av.getSelectionGroup().sequences.contains(al.getSequenceAt(i)))\r
+ if (av.getSelectionGroup()!= null\r
+ && av.getSelectionGroup().sequences.contains(av.alignment.getSequenceAt(i)))\r
{\r
// if(av.alignment.findGroup(al.getSequenceAt(i)).getEndRes()==\r
currentColor = Color.lightGray;\r
}\r
else\r
{\r
- currentColor = al.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
+ AlignmentUtil.getPixelHeight(starty, i, av.charHeight),\r
getWidth(),\r
- charHeight);\r
+ av.charHeight);\r
\r
gg.setColor(currentTextColor);\r
- String string = al.getSequenceAt(i).getDisplayId();\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, charHeight) +\r
- charHeight - (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
}\r
\r
}\r
-\r
-\r
- public Dimension getLabelWidth()\r
- {\r
- if(getGraphics()==null)\r
- return null;\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
}\r
git://source.jalview.org / jalview.git / blobdiff