boolean forOverview = false;
+ boolean v_inset = true, h_inset = true;
+
/**
* Creates a new SequenceRenderer object.
*
.getCharHeight();
Color tempColour = null;
-
+ int linset = (h_inset ? 1 : 0), vinset = (v_inset ? 1 : 0);
while (i <= end)
{
resBoxColour = Color.white;
}
- if (resBoxColour != tempColour)
+ if (true) // resBoxColour != tempColour)
{
if (tempColour != null)
{
- graphics.fillRect(avWidth * (curStart - start), y1, curWidth,
- avHeight);
+ graphics.fillRect(avWidth * (curStart - start), y1, curWidth
+ - linset, avHeight - vinset);
}
graphics.setColor(resBoxColour);
i++;
}
- graphics.fillRect(avWidth * (curStart - start), y1, curWidth, avHeight);
+ graphics.fillRect(avWidth * (curStart - start), y1, curWidth - linset,
+ avHeight - vinset);
}