public void paint(Graphics g)\r
{\r
\r
+ if (img != null && (fastPaint\r
+ || (getSize().width != g.getClipBounds().width)\r
+ || (getSize().height != g.getClipBounds().height)))\r
+ {\r
+ g.drawImage(img, 0, 0, this);\r
+ fastPaint = false;\r
+ return;\r
+ }\r
+\r
if (fastPaint)\r
{\r
g.drawImage(img, 0, 0, this);\r
\r
void drawPanel(Graphics g, int startRes, int endRes, int startSeq, int endSeq, int offset)\r
{\r
-\r
g.setFont(av.getFont());\r
sr.renderGaps(av.renderGaps);\r
\r