gg.drawLine(((i - startx - 1) * avCharWidth) + (avCharWidth / 2),
y + 2,
- ((i - startx - 1) * avCharWidth) + (avCharWidth / 2),
- y + (fm.getDescent() * 2));
+ ((i - startx - 1) * avCharWidth) + (avCharWidth / 2), y
+ + (fm.getDescent() * 2));
}
else
{
- gg.drawLine(((i - startx - 1) * avCharWidth) + (avCharWidth / 2),
- y + fm.getDescent(), ((i - startx - 1) * avCharWidth)
+ gg.drawLine(((i - startx - 1) * avCharWidth) + (avCharWidth / 2), y
+ + fm.getDescent(), ((i - startx - 1) * avCharWidth)
+ (avCharWidth / 2), y + (fm.getDescent() * 2));
}
}
continue;
}
- gg.fillPolygon(new int[]
- { res * avCharWidth - avCharHeight / 4,
+ gg.fillPolygon(new int[] { res * avCharWidth - avCharHeight / 4,
res * avCharWidth + avCharHeight / 4, res * avCharWidth },
- new int[]
- { y - avCharHeight / 2, y - avCharHeight / 2, y + 8 },
- 3);
+ new int[] { y - avCharHeight / 2, y - avCharHeight / 2,
+ y + 8 }, 3);
}
}