- gg.fillPolygon(new int[]
- {getSize().width - av.charHeight,
- getSize().width - av.charHeight,
- getSize().width},
- new int[]
- {
- (i - starty + 1) * av.charHeight + yoffset,
- (i - starty + 1) * av.charHeight + yoffset -
- av.charHeight / 4,
- (i - starty + 1) * av.charHeight + yoffset
- }, 3);
+ gg.fillPolygon(new int[] { getSize().width - avcharHeight,
+ getSize().width - avcharHeight, getSize().width }, new int[] {
+ (i - starty + 1) * avcharHeight + yoffset,
+ (i - starty + 1) * avcharHeight + yoffset - avcharHeight / 4,
+ (i - starty + 1) * avcharHeight + yoffset }, 3);