int imgHeight=0;\r
boolean fastPaint = false;\r
\r
- java.util.ArrayList searchResults;\r
+ java.util.Vector searchResults;\r
\r
public IdCanvas(AlignViewport av)\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.getEndRes()-rowSize;\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
\r
}\r
\r
- public void setHighlighted(java.util.ArrayList found)\r
+ public void setHighlighted(java.util.Vector found)\r
{\r
searchResults = found;\r
repaint();\r