4 import java.awt.Graphics2D.*;
\r
5 import java.awt.image.*;
\r
6 import javax.swing.*;
\r
7 import jalview.datamodel.*;
\r
8 import jalview.analysis.*;
\r
9 public class IdCanvas extends JPanel
\r
11 protected AlignViewport av;
\r
13 protected boolean showScores = true;
\r
15 protected int maxIdLength = -1;
\r
16 protected String maxIdStr = null;
\r
17 BufferedImage image;
\r
20 boolean fastPaint = false;
\r
22 java.util.Vector searchResults;
\r
24 public IdCanvas(AlignViewport av)
\r
26 setLayout(new BorderLayout());
\r
28 PaintRefresher.Register(this);
\r
31 public void drawIdString(Graphics2D gg,SequenceI s,int i, int starty, int ypos) {
\r
32 int charHeight = av.getCharHeight();
\r
34 if(searchResults!=null && searchResults.contains(s))
\r
36 gg.setColor(Color.black);
\r
37 gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
\r
38 gg.setColor(Color.white);
\r
40 else if (av.getSelectionGroup()!=null && av.getSelectionGroup().sequences.contains(s)) {
\r
41 gg.setColor(Color.lightGray);
\r
42 gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
\r
43 gg.setColor(Color.white);
\r
45 gg.setColor(s.getColor());
\r
46 gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);
\r
47 gg.setColor(Color.black);
\r
50 String string = s.getName();
\r
51 if(av.getShowFullId())
\r
52 string = s.getDisplayId();
\r
54 gg.drawString(string,0,AlignmentUtil.getPixelHeight(starty,i,charHeight) + ypos + charHeight- (charHeight/5));
\r
58 public void fastPaint(int vertical)
\r
61 { repaint(); return;}
\r
63 gg.copyArea( 0,0, getWidth(), imgHeight, 0, -vertical*av.charHeight );
\r
65 int ss=av.startSeq, es=av.endSeq, transY = 0;
\r
66 if (vertical > 0) // scroll down
\r
69 if(ss<av.startSeq) // ie scrolling too fast, more than a page at a time
\r
72 transY = imgHeight - vertical * av.charHeight;
\r
74 else if (vertical < 0)
\r
83 gg.translate(0, transY);
\r
87 gg.translate( 0, -transY );
\r
94 public void paintComponent(Graphics g)
\r
96 g.setColor(Color.white);
\r
97 g.fillRect(0, 0, getWidth(), getHeight());
\r
102 g.drawImage(image, 0, 0, this);
\r
106 imgHeight = getHeight();
\r
107 imgHeight -= imgHeight % av.charHeight;
\r
108 image = new BufferedImage(getWidth(), imgHeight, BufferedImage.TYPE_INT_RGB);
\r
109 gg = (Graphics2D) image.getGraphics();
\r
110 //Fill in the background
\r
111 gg.setColor(Color.white);
\r
112 gg.fillRect(0, 0, getWidth(), imgHeight);
\r
113 gg.setRenderingHint(RenderingHints.KEY_ANTIALIASING,
\r
114 RenderingHints.VALUE_ANTIALIAS_ON);
\r
115 Font italic = new Font(av.getFont().getName(), Font.ITALIC,
\r
116 av.getFont().getSize());
\r
117 gg.setFont(italic);
\r
119 drawIds( av.getStartSeq(), av.endSeq);
\r
121 g.drawImage(image, 0, 0, this);
\r
124 void drawIds(int starty, int endy)
\r
126 Color currentColor = Color.white;
\r
127 Color currentTextColor = Color.black;
\r
129 if (av.getWrapAlignment())
\r
132 int rowSize = av.getEndRes() - av.getStartRes();
\r
133 // Draw the rest of the panels
\r
135 for(int ypos=2*av.charHeight, row=av.startRes;
\r
136 ypos <= getHeight() && row<av.alignment.getWidth();
\r
137 ypos += av.chunkHeight, row+=rowSize )
\r
139 for (int i = starty; i < av.alignment.getHeight(); i++)
\r
141 SequenceI s = av.alignment.getSequenceAt(i);
\r
142 drawIdString(gg, s, i, 0, ypos);
\r
150 //Now draw the id strings
\r
151 for (int i = starty; i < endy; i++)
\r
153 // Selected sequence colours
\r
155 if(searchResults!=null && searchResults.contains(av.alignment.getSequenceAt(i)))
\r
157 gg.setColor(Color.black);
\r
158 currentColor = Color.black;
\r
159 currentTextColor = Color.white;
\r
161 else if (av.getSelectionGroup()!= null
\r
162 && av.getSelectionGroup().sequences.contains(av.alignment.getSequenceAt(i)))
\r
164 currentColor = Color.lightGray;
\r
165 currentTextColor = Color.black;
\r
169 currentColor = av.alignment.getSequenceAt(i).getColor();
\r
170 currentTextColor = Color.black;
\r
173 gg.setColor(currentColor);
\r
176 AlignmentUtil.getPixelHeight(starty, i, av.charHeight),
\r
180 gg.setColor(currentTextColor);
\r
181 String string = av.alignment.getSequenceAt(i).getName();
\r
182 if(av.getShowFullId())
\r
183 string = av.alignment.getSequenceAt(i).getDisplayId();
\r
184 gg.drawString(string, 0,
\r
185 AlignmentUtil.getPixelHeight(starty, i, av.charHeight) +
\r
186 av.charHeight - (av.charHeight / 5));
\r
190 gg.setColor(Color.white);
\r
191 gg.fillRect(getWidth()-4,0,4,getHeight());
\r
196 public void setHighlighted(java.util.Vector found)
\r
198 searchResults = found;
\r