}
public void drawIdString(Graphics gg, boolean hiddenRows, SequenceI s,
- int i, int starty,
- int ypos)
+ int i, int starty, int ypos)
{
int charHeight = av.getCharHeight();
* local copy of av.getCharHeight set at top of drawIds
*/
private int avcharHeight;
+
void drawIds(int starty, int endy)
{
// hardwired italic IDs in applet currently
gg.setColor(Color.blue);
if (below)
{
- gg.fillPolygon(new int[]
- { getSize().width - avcharHeight, getSize().width - avcharHeight,
- getSize().width }, new int[]
- { (i - starty) * avcharHeight + yoffset,
+ gg.fillPolygon(new int[] { getSize().width - avcharHeight,
+ getSize().width - avcharHeight, getSize().width }, new int[] {
+ (i - starty) * avcharHeight + yoffset,
(i - starty) * avcharHeight + yoffset + avcharHeight / 4,
(i - starty) * avcharHeight + yoffset }, 3);
}
if (above)
{
- gg.fillPolygon(new int[]
- { getSize().width - avcharHeight, getSize().width - avcharHeight,
- getSize().width }, new int[]
- { (i - starty + 1) * avcharHeight + yoffset,
+ 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);