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
\r
imgHeight = getHeight();\r
imgHeight -= imgHeight % av.charHeight;\r
+\r
+ if (imgHeight<1)\r
+ return;\r
+\r
image = new BufferedImage(getWidth(), imgHeight, BufferedImage.TYPE_INT_RGB);\r
gg = (Graphics2D) image.getGraphics();\r
//Fill in the background\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