+ gg.setColor(Color.blue);\r
+ if (below)\r
+ {\r
+ gg.fillPolygon(new int[]\r
+ {getSize().width - av.charHeight,\r
+ getSize().width - av.charHeight,\r
+ getSize().width},\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
+ {getSize().width - av.charHeight,\r
+ getSize().width - av.charHeight,\r
+ getSize().width},\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