- 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(s.getColor());\r
- gg.fillRect(0,AlignmentUtil.getPixelHeight(starty,i,charHeight)+ ypos,getWidth(),charHeight);\r
- gg.setColor(Color.black);\r
- }\r
-\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 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
- 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