+ boolean below = (hiddenIndex > lastIndex + 1);\r
+ boolean above = (nextIndex > hiddenIndex + 1);\r
+\r
+ gg.setColor(Color.blue);\r
+ if (below)\r
+ {\r
+ gg.fillPolygon(new int[]\r
+ {getWidth() - av.charHeight,\r
+ getWidth() - av.charHeight,\r
+ getWidth()},\r
+ new int[]\r
+ {\r
+ (i - starty) * av.charHeight + yoffset,\r
+ (i - starty) * av.charHeight + yoffset + av.charHeight / 4,\r
+ (i - starty) * av.charHeight + yoffset\r
+ }, 3);\r
+ }\r
+ if (above)\r
+ {\r
+ gg.fillPolygon(new int[]\r
+ {getWidth() - av.charHeight,\r
+ getWidth() - av.charHeight,\r
+ getWidth()},\r
+ new int[]\r
+ {\r
+ (i - starty + 1) * av.charHeight + yoffset,\r
+ (i - starty + 1) * av.charHeight + yoffset -\r
+ av.charHeight / 4,\r
+ (i - starty + 1) * av.charHeight + yoffset\r
+ }, 3);\r
+\r
+ }\r
+ }\r
+\r
+ void setHiddenFont(SequenceI seq)\r
+ {\r
+ Font bold = new Font(av.getFont().getName(), Font.BOLD,\r
+ av.getFont().getSize());\r
+\r
+ if (av.hiddenRepSequences != null &&\r
+ av.hiddenRepSequences.containsKey(seq))\r
+ {\r
+ gg.setFont(bold);\r
+ }\r
+ else\r
+ {\r
+ gg.setFont(idfont);\r
+ }\r
+ }\r
+\r
+ /**\r
+ * DOCUMENT ME!\r
+ *\r
+ * @param found DOCUMENT ME!\r
+ */\r
+ public void setHighlighted(java.util.Vector found)\r
+ {\r
+ searchResults = found;\r
+ repaint();\r