+ 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- av.charHeight / 4,\r
+ (i - starty+1) * av.charHeight +yoffset\r
+ }, 3);\r