public void adjustPanelHeight()\r
{\r
// setHeight of panels\r
+ image = null;\r
AlignmentAnnotation[] aa = av.alignment.getAlignmentAnnotation();\r
int height = 0;\r
\r
\r
for (int i = 0; i < aa.length; i++)\r
{\r
- height += aa[i].height;\r
+ if (aa[i].visible)\r
+ {\r
+ height += aa[i].height;\r
+ }\r
\r
if (evt.getY() < height)\r
{\r
continue;\r
}\r
\r
+\r
if (row.isGraph)\r
{\r
// this is so that we draw the characters below the graph\r
}\r
\r
// used by overview window\r
- public void drawGraph(Graphics g, AlignmentAnnotation aa, int width, int y)\r
+ public void drawGraph(Graphics g, AlignmentAnnotation aa, int width, int y, int sRes, int eRes)\r
{\r
g.setColor(Color.white);\r
g.fillRect(0, 0, width, y);\r
\r
int x = 0;\r
\r
- for (int j = 0; j < aa.annotations.length; j++)\r
+ for (int j = sRes; j < eRes; j++)\r
{\r
g.setColor(new Color(0, 0, 180));\r
\r